8582 search results - page 165 / 1717 » Here or There |
174
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...
191
click to vote
FASE
2000
Springer
15 years 10 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...
161
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
: The Shifting Balance Genetic Algorithm (SBGA) is a pluggable module for a GA (or any other Evolutionary Algorithm) based on a modification of Sewall Wright's shifting balanc...
168
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
The monopod hopper described here fits into a cube that is 5 cm on a side, is autonomous, and is designed to be statically and passively dynamically stable. Hopping is achieved th...
166
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...