2302 search results - page 330 / 461 » Testing as Abstraction |
138
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— In this paper we describe the use of automatic exploration for autonomous mapping of outdoor scenes. We describe a real-time SLAM implementation along with an autonomou...
156
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
208
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
197
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
To support effective browsing, interfaces to digital video libraries should include video surrogates (i.e., smaller objects that can stand in for the videos in the on, analogous t...
187
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...