1980 search results - page 272 / 396 » Compositional Model Checking of Real Time Systems |
115
click to vote
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
143
click to vote
INTERSPEECH
2010
14 years 10 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 ...
142
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...
120
click to vote
MIRRORBOT
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
138
click to vote
ETRA
2008
ACM
15 years 5 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...