Sciweavers

5186 search results - page 755 / 1038
» Embedded Systems
Sort
View
ICPR
2002
IEEE
16 years 7 months ago
Interacting Multiple Model (IMM) Kalman Filters for Robust High Speed Human Motion Tracking
Accurate and robust tracking of humans is of growing interest in the image processing and computer vision communities. The ability of a vision system to track the subjects and acc...
Michael E. Farmer, Rein-Lien Hsu, Anil K. Jain
CSCW
2006
ACM
16 years 10 days ago
The practical indispensability of articulation work to immediate and remote help-giving
This paper argues that the design of remote help-giving systems should be grounded in articulation work and the methodical ways in which help-givers and help-seekers coordinate th...
Andy Crabtree, Jacki O'Neill, Peter Tolmie, Stefan...
FASE
2001
Springer
15 years 11 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
175
Voted
UIC
2007
Springer
16 years 14 days ago
Q+-Algorithm : An Enhanced RFID Tag Collision Arbitration Algorithm
Emerging applications of RFID require high efficiency of tag identification. Since passive tags have dumb functionality, the efficiency of tag identification in RFID system reli...
Donghwan Lee, Kyungkyu Kim, Wonjun Lee
177
Voted
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 10 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...