3387 search results - page 535 / 678 » Model-Checking for Real-Time Systems |
IOT
2010
13 years 7 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
COGSR
2010
13 years 5 months ago
2010
Computational concepts of cognition, their implementation in complex autonomous systems, and their empirical evaluation are key techniques to understand and validate concepts of c...
INTERSPEECH
2010
13 years 5 months ago
2010
We propose a probabilistic factorial sparse coder model for single channel source separation in the magnitude spectrogram domain. The mixture spectrogram is assumed to be the sum ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Malicious data attacks to the real-time electricity market are studied. In particular, an adversary launches an attack by manipulating data from a set of meters with the goal of i...
SI3D
2012
ACM
12 years 5 months ago
2012
ACM
We synthesize natural-looking locomotion, reaching and grasping for a virtual character in order to accomplish a wide range of movement and manipulation tasks in real time. Our vi...