11436 search results - page 134 / 2288 » Modeling Real Reasoning |
179
click to vote
AGI
2008
15 years 8 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...
149
click to vote
CVPR
2007
IEEE
16 years 8 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...
206
click to vote
FMOODS
2007
15 years 8 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...
181
click to vote
3DPVT
2002
IEEE
15 years 11 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...
199
click to vote
CAV
2012
Springer
13 years 9 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...