60 search results - page 7 / 12 » Practical First-Order Temporal Reasoning |
AGI
2008
13 years 10 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
ICASSP
2011
IEEE
13 years 8 days ago
2011
IEEE
In order to allow sufficient amount of light into the image sensor, videos captured in poor lighting conditions typically have low frame rate and frame exposure time equals to in...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
ICASSP
2011
IEEE
13 years 8 days ago
2011
IEEE
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...