Sciweavers

9730 search results - page 1621 / 1946
» Relating models of backtracking
Sort
View
ICRA
2003
IEEE
160views Robotics» more  ICRA 2003»
15 years 12 months ago
Adapting navigation strategies using motions patterns of people
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...
Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
INFOCOM
2003
IEEE
15 years 12 months ago
Asymptotic Insensitivity of Least-Recently-Used Caching to Statistical Dependency
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
Predrag R. Jelenkovic, Ana Radovanovic
IRI
2003
IEEE
15 years 12 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 12 months ago
Convex Imprecise Previsions: Basic Issues and Applications
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
Renato Pelessoni, Paolo Vicig
LICS
2003
IEEE
15 years 12 months ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais
« Prev « First page 1621 / 1946 Last » Next »