2797 search results - page 239 / 560 » Control Structures |
176
click to vote
HYBRID
2007
Springer
16 years 17 days ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
164
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
127
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
145
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper an active noise control (ANC) algorithm is proposed. This algorithm is based on adaptive filtering with averaging (AFA) and uses a similar structure as that of the F...