826 search results - page 65 / 166 » Designing for families |
FASE
2000
Springer
15 years 1 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
PPSN
2000
Springer
15 years 1 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— A classification of a family of 3-revolute (3R) positining manipulators is established. This classification is based on the topology of their workspace. The workspace is charac...
HUC
2010
Springer
14 years 7 months ago
2010
Springer
Mobile phones are becoming the central tools for communicating and can help us keep in touch with friends and family on-the-go. However, they can also place high demands on attent...
AHS
2006
IEEE
15 years 3 months ago
2006
IEEE
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...