Sciweavers

16616 search results - page 285 / 3324
» Extending Extended Vacuity
Sort
View
ECOOP
2003
Springer
15 years 12 months ago
Higher-Order Hierarchies
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
Erik Ernst
GECCO
2003
Springer
15 years 12 months ago
Tightness Time for the Linkage Learning Genetic Algorithm
Abstract. This paper develops a model for tightness time, linkage learning time for a single building block, in the linkage learning genetic algorithm (LLGA). First, the existing m...
Ying-Ping Chen, David E. Goldberg
ICRA
1999
IEEE
104views Robotics» more  ICRA 1999»
15 years 11 months ago
Discrete Event Control with Active Events
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events...
Michael Heymann, Feng Lin, George Meyer, Satya Ran...
IEAAIE
1998
Springer
15 years 11 months ago
State Estimation for Nonlinear Systems Using Restricted Genetic Optimization
Abstract. In this paper we describe a new nonlinear estimator for filtering systems with nonlinear process and observation models, based on the optimization with RGO (Restricted Ge...
Santiago Garrido, Luis Moreno, Carlos Balaguer
164
Voted
ATVA
2006
Springer
75views Hardware» more  ATVA 2006»
15 years 10 months ago
Symbolic Unfoldings for Networks of Timed Automata
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
Franck Cassez, Thomas Chatain, Claude Jard