Sciweavers

170 search results - page 29 / 34
» Generalised Epipolar Constraints
Sort
View
AAAI
1998
13 years 9 months ago
A* with Bounded Costs
A key assumption of all problem-solving approaches based on utility theory, including heuristic search, is that we can assign a utility or cost to each state. This in turn require...
Brian Logan, Natasha Alechina
AAMAS
2008
Springer
13 years 7 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...
ICCV
2005
IEEE
14 years 9 months ago
Can Two Specular Pixels Calibrate Photometric Stereo?
Lambertian photometric stereo with unknown light source parameters is ambiguous. Provided that the object imaged constitutes a surface, the ambiguity is represented by the group o...
Ondrej Drbohlav, Mike J. Chantler
ICIP
2000
IEEE
14 years 9 months ago
Incremental Shape Reconstruction Using Stereo Image Sequences
The limitations of estimating structure from either stereo or motion alone can be addressed by the use of stereo image sequences; however, many existing techniques for processing ...
Tai Jing Moyung, Paul W. Fieguth
LFCS
2007
Springer
14 years 1 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer