6059 search results - page 293 / 1212 » A Technique for Verifying Measurements |
159
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
166
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
168
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
175
click to vote
AGILE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In cartography and computational geometry, concepts and techniques for automated label placement have been developed for twodimensional maps. Less is known whether these ...
175
click to vote
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...