1855 search results - page 112 / 371 » Probabilistic Frame-Based Systems |
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
130
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
137
click to vote
ICCV
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
143
click to vote
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
153
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...