Sciweavers

1204 search results - page 15 / 241
» Hybrid Probabilistic Programs
Sort
View
EMNLP
2006
13 years 10 months ago
Extremely Lexicalized Models for Accurate and Fast HPSG Parsing
This paper describes an extremely lexicalized probabilistic model for fast and accurate HPSG parsing. In this model, the probabilities of parse trees are defined with only the pro...
Takashi Ninomiya, Takuya Matsuzaki, Yoshimasa Tsur...
JAR
2008
107views more  JAR 2008»
13 years 8 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
ALT
2004
Springer
14 years 5 months ago
Probabilistic Inductive Logic Programming
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
Luc De Raedt, Kristian Kersting
FSTTCS
2004
Springer
14 years 2 months ago
Verifying Probabilistic Procedural Programs
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
Javier Esparza, Kousha Etessami
APLAS
2007
ACM
14 years 19 days ago
A Probabilistic Applied Pi-Calculus
Abstract. We propose an extension of the Applied Pi
Jean Goubault-Larrecq, Catuscia Palamidessi, Angel...