260 search results - page 23 / 52 » Range and Set Abstraction using SAT |
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
SEKE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
TMRA
2007
Springer
14 years 1 months ago
2007
Springer
The Dublin Core Metadata Initiative is an open organization engaged in the development of interoperable online metadata standards that support a broad range of purposes and busines...
AROBOTS
2010
13 years 7 months ago
2010
Abstract This work introduces a self-supervised architecture for robust classification of moving obstacles in urban environments. Our approach presents a hierarchical scheme that r...
HPDC
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract-The analysis of data usage in a large set of real traces from a high-energy physics collaboration revealed the existence of an emergent grouping of files that we coined &q...