2136 search results - page 256 / 428 » Learning Behavior Models for Hybrid Timed Systems |
153
click to vote
AAAI
2007
15 years 6 months ago
2007
Accurately locating users in a wireless environment is an important task for many pervasive computing and AI applications, such as activity recognition. In a WiFi environment, a m...
121
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...
134
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper describes a real-time computer vision system for tracking people in monocular video sequences. The system tracks people as they move through the camera's field of ...
137
click to vote
IJFCS
2006
15 years 4 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
168
click to vote
EUMAS
2006
15 years 5 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...