Sciweavers

3565 search results - page 314 / 713
» Modeling a system controller for timing analysis
Sort
View
ICRA
2010
IEEE
141views Robotics» more  ICRA 2010»
15 years 3 months ago
Improvement of model-mediated teleoperation using a new hybrid environment estimation technique
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
Andreas Achhammer, Carolina Weber, Angelika Peer, ...
FORMATS
2009
Springer
15 years 8 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
GECCO
2009
Springer
305views Optimization» more  GECCO 2009»
15 years 11 months ago
Evolving competitive car controllers for racing games with neuroevolution
Modern computer games are at the same time an attractive application domain and an interesting testbed for the evolutionary computation techniques. In this paper we apply NeuroEvo...
Luigi Cardamone, Daniele Loiacono, Pier Luca Lanzi
PSB
2004
15 years 6 months ago
Modeling Cellular Processes with Variational Bayesian Cooperative Vector Quantizer
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...
Xinghua Lu, Milos Hauskrecht, Roger S. Day
157
Voted
EUROGP
2009
Springer
105views Optimization» more  EUROGP 2009»
15 years 9 months ago
Quantum Circuit Synthesis with Adaptive Parameters Control
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
Cristian Ruican, Mihai Udrescu, Lucian Prodan, Mir...