Sciweavers

271 search results - page 31 / 55
» Reliability Techniques for RFID-Based Object Tracking Applic...
Sort
View
PETRA
2010
ACM
14 years 10 months ago
Integrating RFID on event-based hemispheric imaging for internet of things assistive applications
Automatic surveillance of a scene in a broad sense comprises one of the core modules of pervasive applications. Typically, multiple cameras are installed in an area to identify ev...
Vassilis Kolias, Ioannis Giannoukos, Christos Anag...
ICIP
2001
IEEE
16 years 1 months ago
A robust motion detection and estimation filter for video signals
The problem of detecting areas of motion in video sequences and estimating parameters such as speed, direction and dynamics is addressed in many applications of image processing s...
Markus Latzel, John K. Tsotsos
ECCV
2006
Springer
15 years 3 months ago
Segmentation and Guidance of Multiple Rigid Objects for Intra-operative Endoscopic Vision
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...
Christophe Doignon, Florent Nageotte, Michel de Ma...
ICSE
2008
IEEE-ACM
15 years 11 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
UML
2005
Springer
15 years 5 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...