2632 search results - page 235 / 527 » Predictive Representations of State |
138
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
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...
149
click to vote
CMSB
2010
Springer
15 years 16 days ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
131
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a method for recognizing scene categories based on approximate global geometric correspondence. This technique works by partitioning the image into increasingl...
160
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
Within this paper a new framework for Bayesian tracking is presented, which approximates the posterior distribution at multiple resolutions. We propose a tree-based representation...
164
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...