157 search results - page 31 / 32 » Incremental Compilation-to-SAT Procedures |
IJRR
2000
13 years 7 months ago
2000
The hierarchical generalized Voronoi graph (HGVG) is a new roadmap developed for sensor-based exploration in unknown environments. This paper defines the HGVG structure: a robot c...
APIN
1998
13 years 7 months ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
DTJ
1998
13 years 7 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
TSE
1998
13 years 7 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
MCS
2007
Springer
13 years 7 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...