Sciweavers

2869 search results - page 304 / 574
» The Inference Problem: A Survey
Sort
View
AINA
2007
IEEE
15 years 11 months ago
Domain Modelling for Ubiquitous Computing Applications
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
Anthony Harrington, Vinny Cahill
CRV
2004
IEEE
226views Robotics» more  CRV 2004»
15 years 11 months ago
Inter-Image Statistics for Scene Reconstruction
We present an approach for inferring complete depth maps from intensity images and sparse depth information. This paper developed prior work which incrementally completes a sparse...
Luz Abril Torres-Méndez, Gregory Dudek, Pau...
FORMATS
2006
Springer
15 years 11 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
ECCV
2006
Springer
15 years 9 months ago
Robust Face Alignment Based on Hierarchical Classifier Network
Abstract. Robust face alignment is crucial for many face processing applications. As face detection only gives a rough estimation of face region, one important problem is how to al...
Li Zhang, Haizhou Ai, Shihong Lao
AGI
2008
15 years 9 months ago
OSCAR: An Architecture for Generally Intelligent Agents
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
John L. Pollock