422 search results - page 40 / 85 » On Modal Refinement and Consistency |
163
click to vote
AGI
2011
14 years 8 months ago
2011
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
145
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Structure from motion (SFM) is the problem of reconstructing the geometry of a scene from a stream of images. In this problem, the geometry of the scene must be inferred from imag...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
177
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...
133
click to vote
ARGMAS
2006
Springer
15 years 8 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...