10891 search results - page 1551 / 2179 » Combining Model Reductions |
164
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
164
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a robust and flexible framework for augmented reality which does not require instrumenting either the environment or the workpiece. A model-based visual track...
187
Voted
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
145
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
152
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...