Sciweavers

28 search results - page 2 / 6
» MEBN: A language for first-order Bayesian knowledge bases
Sort
View
IJPRAI
2000
108views more  IJPRAI 2000»
13 years 4 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...
AAAI
1996
13 years 6 months ago
Irrelevance and Conditioning in First-Order Probabilistic Logic
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
Daphne Koller, Joseph Y. Halpern
FIW
2007
133views Communications» more  FIW 2007»
13 years 6 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
TASLP
2010
97views more  TASLP 2010»
12 years 11 months ago
Hierarchical Bayesian Language Models for Conversational Speech Recognition
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
Songfang Huang, Steve Renals
CVPR
2003
IEEE
14 years 6 months ago
A Bayesian Framework for Fusing Multiple Word Knowledge Models in Videotext Recognition
Videotext recognition is challenging due to low resolution, diverse fonts/styles, and cluttered background. Past methods enhanced recognition by using multiple frame averaging, im...
DongQing Zhang, Shih-Fu Chang