1073 search results - page 2 / 215 » Reasoning about Continuous Processes |
KR
1994
Springer
13 years 9 months ago
1994
Springer
AAAI
2008
13 years 6 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
FM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
LFP
1992
13 years 6 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
IVC
2008
13 years 4 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...