6608 search results - page 251 / 1322 » On the Completeness of Model Checking |
178
click to vote
IROS
2008
IEEE
16 years 9 days ago
2008
IEEE
— This article addresses the problem of autonomous map building and exploration of an unknown environment with mobile robots. The proposed method assumes that mobile robots use o...
126
click to vote
LICS
2007
IEEE
16 years 5 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
164
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—Large-scale data processing needs of enterprises today are primarily met with distributed and parallel computing in data centers. MapReduce has emerged as an important p...
150
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
160
click to vote
HYBRID
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...