Sciweavers

924 search results - page 148 / 185
» Incremental Probabilistic Inference
Sort
View
ESWS
2007
Springer
14 years 2 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
14 years 1 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»
13 years 10 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
13 years 10 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
13 years 8 days 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