3387 search results - page 194 / 678 » Model-Checking for Real-Time Systems |
168
Voted
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
The paper describes an interactive musical system that utilizes a genetic algorithm in an effort to create inspiring collaborations between human musicians and an improvisatory ro...
199
Voted
DFG
2007
Springer
16 years 1 months ago
2007
Springer
: Over the past years, the interaction between humans and computers (HCI) evolved to one of the most important research topics in computer science. Therefore, finding a way for an...
146
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper presents the design of an optimal Auxiliary Transient Neurocontroller (ATNC) for the Gate Controlled Series Capacitor (GCSC) in a multi-machine power system. GCSC is ...
207
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
224
click to vote
ACCV
2006
Springer
16 years 29 days ago
2006
Springer
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...