3387 search results - page 485 / 678 » Model-Checking for Real-Time Systems |
125
click to vote
BMVC
2000
15 years 6 months ago
2000
Vision-based systems for remote surveillance usually involve change detection algorithms for intruders, obstacles or irregularities detection. In particular, there is a potentiall...
149
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, a new control approach for real time speed synchronization of multiple induction motors during speed acceleration and load changes is developed. The control strategy...
171
click to vote
IVC
2008
15 years 5 months ago
2008
We present a method for efficiently generating a representation of a multi-modal posterior probability distribution. The technique combines ideas from RANSAC and particle filterin...
148
click to vote
BIOSTEC
2011
14 years 5 months ago
2011
Among other strategic action points, the Ambient Assisted Living Joint Programme framework has defined telemedicine and remote monitoring as major applications for improved qualit...
132
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...