3387 search results - page 499 / 678 » Model-Checking for Real-Time Systems |
143
Voted
PR
2008
15 years 2 months ago
2008
Autonomous video surveillance and monitoring has a rich history. Many deployed systems are able to reliably track human motion in indoor and controlled outdoor environments. Howev...
162
Voted
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
Personalization systems based upon users' surfing behavior analysis imply three phases: data collection, pattern discovery and recommendation. Due to the dimension of log file...
217
Voted
ICDE
2005
IEEE
16 years 4 months ago
2005
IEEE
Enacting and capturing real motion for all potential scenarios is terribly expensive; hence, there is a great demand to synthetically generate realistic human motion. However, it ...
131
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
115
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...