Sciweavers

2645 search results - page 138 / 529
» time 2003
Sort
View
ICRA
2003
IEEE
150views Robotics» more  ICRA 2003»
15 years 11 months ago
Vision-based fast and reactive monte-carlo localization
— This paper presents a fast approach for vision-based self-localization in RoboCup. The vision system extracts the features required for localization without processing the whol...
Thomas Röfer, Matthias Jüngel
174
Voted
ICTAI
2003
IEEE
15 years 11 months ago
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
Benjamin W. Wah, Yixin Chen
EMSOFT
2003
Springer
15 years 11 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
SODA
2003
ACM
115views Algorithms» more  SODA 2003»
15 years 7 months ago
Random walks on the vertices of transportation polytopes with constant number of sources
We consider the problem of uniformly sampling a vertex of a transportation polytope with m sources and n destinations, where m is a constant. We analyse a natural random walk on t...
Mary Cryan, Martin E. Dyer, Haiko Müller, Lee...
USITS
2003
15 years 7 months ago
Why Do Internet Services Fail, and What Can Be Done About It?
In 1986 Jim Gray published his landmark study of the causes of failures of Tandem systems and the techniques Tandem used to prevent such failures [6]. Seventeen years later, Inter...
David L. Oppenheimer, Archana Ganapathi, David A. ...