1054 search results - page 176 / 211 » Translation Validation of System Abstractions |
146
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
320
click to vote
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Three dimensional medial paths or curve skeletons (CS) are an essential component of any virtual endoscopy (VE) system, because they serve as flight paths for a virtual ...
135
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
216
click to vote
CICLING
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
153
click to vote
RSS
2007
15 years 6 months ago
2007
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...