Sciweavers

447 search results - page 14 / 90
» A Probabilistic Calculus of Actions
Sort
View
AAAI
2008
15 years 2 months ago
Loop Calculus for Satisfiability
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
Lukas Kroc, Michael Chertkov
118
Voted
LISP
2008
101views more  LISP 2008»
15 years 12 days ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
88
Voted
CL
2000
Springer
15 years 8 days ago
A New Equational Foundation for the Fluent Calculus
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
Hans-Peter Störr, Michael Thielscher
101
Voted
ECML
2007
Springer
15 years 6 months ago
Probabilistic Models for Action-Based Chinese Dependency Parsing
Action-based dependency parsing, also known as deterministic dependency parsing, has often been regarded as a time efficient parsing algorithm while its parsing accuracy is a littl...
Xiangyu Duan, Jun Zhao, Bo Xu
123
Voted
PAMI
2010
188views more  PAMI 2010»
14 years 11 months ago
A Unified Probabilistic Framework for Spontaneous Facial Action Modeling and Understanding
—Facial expression is a natural and powerful means of human communication. Recognizing spontaneous facial actions, however, is very challenging due to subtle facial deformation, ...
Yan Tong, Jixu Chen, Qiang Ji