3387 search results - page 535 / 678 » Model-Checking for Real-Time Systems |
103
click to vote
IOT
2010
14 years 10 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...
87
Voted
COGSR
2010
14 years 7 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...
123
Voted
INTERSPEECH
2010
14 years 7 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 ...
78
Voted
ICASSP
2011
IEEE
14 years 4 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...
133
Voted
SI3D
2012
ACM
13 years 8 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...