17054 search results - page 347 / 3411 » Logics of Dynamical Systems |
188
click to vote
HYBRID
2004
Springer
16 years 27 days 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...
191
Voted
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We present the System Blocks, a new physical interactive system that makes it easier for kids to explore dynamic systems. A set of computationally enhanced children blocks, made o...
208
Voted
PERCOM
2006
ACM
15 years 7 months ago
2006
ACM
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
197
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents a novel swarm approximate dynamic programming method (swarm-ADP) for parameter optimization of PSO systems, from the perspective of optimal control. Based o...
199
click to vote
DAGSTUHL
2001
15 years 9 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...