647 search results - page 85 / 130 » Implementation of MAP: A system for mobile assistant program... |
158
click to vote
NOSSDAV
2001
Springer
15 years 10 months ago
2001
Springer
Recent advancements in video and audio codec technologies (e.g., RealVideo [18]) make multimedia streaming possible across a wide range of network conditions. With an increasing t...
173
click to vote
TPHOL
2007
IEEE
16 years 4 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
159
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
In this paper, we describe the challenges of prototyping a reference application on System S, a distributed stream processing middleware under development at IBM Research. With a ...
152
click to vote
IROS
2006
IEEE
15 years 12 months ago
2006
IEEE
— This paper presents an approach to vision-based simultaneous localization and mapping (SLAM). Our approach uses the scale invariant feature transform (SIFT) as features and app...
163
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
While traditional graphics techniques provide for the realistic display of three-dimensional objects, these methods often lack the flexibility to emulate expressive effects found ...