3387 search results - page 598 / 678 » Model-Checking for Real-Time Systems |
175
Voted
ISDA
2010
IEEE
14 years 10 months ago
2010
IEEE
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
103
Voted
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
This work employs data mining algorithms to discover visual entities that are strongly associated to autonomously discovered modes of action, in an embodied agent. Mappings are lea...
140
click to vote
TSMC
2010
14 years 7 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
213
Voted
RTAS
2011
IEEE
14 years 4 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
100
Voted
EXPERT
2011
14 years 4 months ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...