400 search results - page 23 / 80 » Reasoning About Hidden Mechanisms |
108
Voted
FROCOS
2009
Springer
15 years 2 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
72
Voted
ICCV
2009
IEEE
14 years 7 months ago
2009
IEEE
We show that multi-path analysis using images from a timeof-flight (ToF) camera provides a tantalizing opportunity to infer about 3D geometry of not only visible but hidden parts ...
94
Voted
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
VLDB
1990
ACM
15 years 1 months ago
1990
ACM
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...