4095 search results - page 497 / 819 » How to test a tree |
146
click to vote
CIVR
2007
Springer
15 years 12 months ago
2007
Springer
In this paper, we describe the demonstration system in which a wooden 3D puzzle is assembled using an augmented reality system. The 3D puzzle describes a simplified assembly task ...
136
click to vote
CP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
181
click to vote
ER
2007
Springer
15 years 12 months ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
163
click to vote
IBPRIA
2007
Springer
15 years 12 months ago
2007
Springer
This paper proposes a system to estimate the 3D position and velocity of vehicles, from images acquired with a monocular camera. Given image regions where vehicles are detected, Ga...
126
click to vote
ICALP
2007
Springer
15 years 12 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...