Sciweavers

448 search results - page 12 / 90
» Cognitive Vision Systems: From Ideas to Specifications
Sort
View
87
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 14 days ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
AIED
2005
Springer
15 years 6 months ago
DIANE, a diagnosis system for arithmetical problem solving
We hereby describe DIANE an environment that aims at performing an automatic diagnosis on arithmetic problems depending on the productions of the learners. This work relies on resu...
Khider Hakem, Emmanuel Sander, Jean-Marc Labat, Je...
109
Voted
SIP
2003
15 years 1 months ago
Object Structure from Noisy Images
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
Gabriele Peters
95
Voted
AGI
2008
15 years 1 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
115
Voted
VRST
2005
ACM
15 years 6 months ago
Rapid scene modelling, registration and specification for mixed reality systems
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
Russell M. Freeman, Anthony Steed, Bin Zhou