20126 search results - page 265 / 4026 » Timed Transition Systems |
144
click to vote
MSE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the first multimedia system that allows users to conduct a realistic electronic orchestra. Users control tempo, dynamics, and instrument emphasis of the orch...
145
click to vote
COMPSYSTECH
2010
15 years 1 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
167
Voted
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
158
click to vote
CHI
2005
ACM
15 years 6 months ago
2005
ACM
In this user study, we address several open issues in the design of waiting cues for system response time (SRT) in interactive telephony speech applications. User observations and...
145
Voted
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...