Sciweavers

925 search results - page 130 / 185
» Probabilistic and Logical Beliefs
Sort
View
TCAD
1998
115views more  TCAD 1998»
13 years 7 months ago
Probabilistic modeling of dependencies during switching activity analysis
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
Radu Marculescu, Diana Marculescu, Massoud Pedram
ICALP
2005
Springer
14 years 1 months ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin
ACIVS
2006
Springer
13 years 12 months ago
Interactive Learning of Scene Context Extractor Using Combination of Bayesian Network and Logic Network
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
Keum-Sung Hwang, Sung-Bae Cho
ECCV
2008
Springer
13 years 10 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
ENTCS
2007
69views more  ENTCS 2007»
13 years 8 months ago
Modal Logic Characterization of Markovian Testing and Trace Equivalences
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
Marco Bernardo, Stefania Botta