Sciweavers

7335 search results - page 260 / 1467
» Scene Based Reasoning
Sort
View
IJCAI
1993
15 years 5 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
15 years 3 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...
AAAI
2007
15 years 6 months ago
Action-Based Alternating Transition Systems for Arguments about Action
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
Katie Atkinson, Trevor J. M. Bench-Capon
VR
2002
IEEE
261views Virtual Reality» more  VR 2002»
15 years 9 months ago
VizWear-3D: A Wearable 3-D Annotation System Based on 3-D Object Tracking Using a Condensation Algorithm
We have developed a method for recognizing and tracking known three-dimensional objects in scene images captured from a user’s viewpoint. The method uses multiple color histogra...
Takashi Okuma, Takeshi Kurata, Katsuhiko Sakaue
JCST
2010
147views more  JCST 2010»
15 years 2 months ago
Volumetric Vector-Based Representation for Indirect Illumination Caching
Abstract This paper introduces a caching technique based on a volumetric representation that captures low-frequency indirect illumination. This structure is intended for efficient ...
Romain Pacanowski, Xavier Granier, Christophe Schl...