Sciweavers

258 search results - page 13 / 52
» Continuous Capacities on Continuous State Spaces
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
GECCO
2008
Springer
167views Optimization» more  GECCO 2008»
13 years 9 months ago
Using coevolution to understand and validate game balance in continuous games
We attack the problem of game balancing by using a coevolutionary algorithm to explore the space of possible game strategies and counter strategies. We define balanced games as g...
Ryan E. Leigh, Justin Schonfeld, Sushil J. Louis
SIGMOD
2004
ACM
164views Database» more  SIGMOD 2004»
14 years 8 months ago
Dynamic Plan Migration for Continuous Queries Over Data Streams
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
Yali Zhu, Elke A. Rundensteiner, George T. Heinema...
ISCAS
1999
IEEE
100views Hardware» more  ISCAS 1999»
14 years 26 days ago
The state space framework for blind dynamic signal extraction and recovery
The paper describes a framework in the form of an optimization of a performance index subject to the constraints of a dynamic network, represented in the state space. The performa...
Fathi M. A. Salam, Gail Erten
MHCI
2004
Springer
14 years 1 months ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith