260 search results - page 23 / 52 » Range and Set Abstraction using SAT |
151
click to vote
ISRR
2005
Springer
15 years 10 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...
135
click to vote
SEKE
2009
Springer
15 years 11 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...
136
click to vote
TMRA
2007
Springer
15 years 10 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...
124
click to vote
AROBOTS
2010
15 years 4 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...
134
click to vote
HPDC
2008
IEEE
15 years 4 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...