2850 search results - page 374 / 570 » On Timed Models and Full Abstraction |
169
click to vote
CACM
2005
15 years 6 months ago
2005
them as an abstract cellular model where users access information through access points. ract model consists of a base station, a number of clients, and a number of channels. A cli...
162
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
190
click to vote
SEUS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
150
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...
142
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...