1689 search results - page 278 / 338 » Refining abstract interpretations |
119
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. This paper describes the development of a real-time perceptive user interface. Two cameras are used to detect a user’s head, eyes, hand, fingers and gestures. These cu...
162
Voted
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
156
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Autonomous mobile agents require object recognition for high level interpretation and localization in complex scenes. In urban environments, recognition of buildings mi...
130
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
147
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...