2374 search results - page 344 / 475 » Automatic Generation of Model Translations |
273
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every...
134
click to vote
SMA
2006
ACM
15 years 10 months ago
2006
ACM
Segmenting meshes into natural regions is useful for model understanding
and many practical applications. In this paper, we present
a novel, automatic algorithm for segmenting me...
201
click to vote
FAABS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
154
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
149
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...