Model checking in loglinear models using φ-divergences and MLEs

Type: Article

Publication Date: 2002-04-01

Citations: 22

DOI: https://doi.org/10.1016/s0378-3758(01)00236-1

Locations

  • Journal of Statistical Planning and Inference - View

Similar Works

Action Title Year Authors
+ Consistency proofs in model theory: A contribution to Jensenlehre 1978 John P. Burgess
+ PDF Chat Conformance Checking over Stochastically Known Logs 2022 Eli Bogdanov
Izack Cohen
Avigdor Gal
+ On the exp-log normal form of types 2017 Danko Ilik
+ PDF Chat The model checking fingerprints of CTL operators 2018 Andreas Krebs
Arne Meier
Martin Mundhenk
+ PDF Chat Extensions of Lemos-Soares type log-majorization 2021 Zesh ng Feng
Jian Shi
+ ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification 2018 Moussa Amrani
Lucio Levi
Adrien Bibal
+ ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification 2018 Moussa Amrani
Lucio Levi
Adrien Bibal
+ PDF Chat Towards testing the Maldacena conjecture with SDLCQ 2000 Uwe Trittmann
+ Nonparametric model checking for k-out-of-n systems 2009 Eric Beutner
+ Calculus for Exponentials 2015 R. A. Motes
+ PDF Chat Small Language Models Need Strong Verifiers to Self-Correct Reasoning 2024 Yunxiang Zhang
Muhammad Khalifa
Lajanugen Logeswaran
Jaekyeom Kim
Moontae Lee
Honglak Lee
Lu Wang
+ PDF Chat Machine Understandable Policies and GDPR Compliance Checking 2020 Piero A. Bonatti
Sabrina Kirrane
Iliana M. Petrova
Luigi Sauro
+ PDF Chat Evaluating Datalog via Tree Automata and Cycluits 2019 Antoine Amarilli
Pierre Bourhis
Mikaël Monet
Pierre Senellart
+ Model-checking process equivalences 2014 Martin Lange
Étienne Lozes
Manuel Vargas
+ PSEUDO: applications of streams and lazy evaluation to integrable models 2004 J. C. Brunelli
+ PDF Chat Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction 2024 Xiaoyuan Li
Wenjie Wang
Moxin Li
Junrong Guo
Shuicheng Yan
Fuli Feng
+ Advantages and disadvantages of model order reductions 2009 Ljubica Dipl.-Ing. Radic
Jan Dipl.-Ing. Wellmann
Wolfgang Dr.-Ing. Mathis
+ PDF Chat Large Language Models for the Automated Analysis of Optimization Algorithms 2024 Camilo Chacón Sartori
Christian Blum
Gabriela Ochoa
+ PDF Chat Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study 2017 Jingyi Wang
Jun Sun
Qixia Yuan
Jun Pang
+ Model counting with error-correcting codes 2019 Dimitris Achlioptas
Panos Theodoropoulos