11436 search results - page 134 / 2288 » Modeling Real Reasoning |
131
click to vote
AGI
2008
15 years 4 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
106
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a full automatic technique to project virtual texture on a real textureless 3D object. Our sytem is composed of cameras and projector and are used to determine the pose...
148
click to vote
FMOODS
2007
15 years 4 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
124
click to vote
3DPVT
2002
IEEE
15 years 7 months ago
2002
IEEE
An image based model reconstruction system is described. Real images of a rigid object acquired under a simple but controlled environment are used to recover the three dimensional...
150
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...