236 search results - page 31 / 48 » Unifying Logical and Probabilistic Reasoning |
87
Voted
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
67
Voted
CPAIOR
2006
Springer
15 years 1 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
108
Voted
UAI
1997
14 years 11 months ago
1997
This paper describes a class ofprobabilistic approximation algorithms based on bucket elimination which o er adjustable levels of accuracy ande ciency. We analyzethe approximation...
62
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...