Sciweavers

924 search results - page 148 / 185
» Incremental Probabilistic Inference
Sort
View
ESWS
2007
Springer
15 years 8 months ago
Explorative Debugging for Rapid Rule Base Development
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
Valentin Zacharias, Andreas Abecker
CLUSTER
2009
IEEE
15 years 6 months ago
Numerically stable, single-pass, parallel statistics algorithms
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...
Janine Bennett, R. Grout, Philippe P. Pébay...
LREC
2008
131views Education» more  LREC 2008»
15 years 3 months ago
Semantic Frame Annotation on the French MEDIA corpus
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
Marie-Jean Meurs, Frédéric Duvert, F...
IJCAI
2003
15 years 3 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
ACL
2011
14 years 5 months ago
Jointly Learning to Extract and Compress
We learn a joint model of sentence extraction and compression for multi-document summarization. Our model scores candidate summaries according to a combined linear model whose fea...
Taylor Berg-Kirkpatrick, Dan Gillick, Dan Klein