17 search results - page 1 / 4 » Efficient Triangulation-Based Pathfinding |
AAAI
2006
13 years 9 months ago
2006
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper presents a method for triangulation of 3D points given their projections in two images. Recent results show that the triangulation mapping can be represented as a linea...
DEBU
2008
13 years 7 months ago
2008
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...
AIPS
2008
13 years 8 months ago
2008
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...