Sciweavers

5355 search results - page 465 / 1071
» Modules
Sort
View
GECCO
2000
Springer
145views Optimization» more  GECCO 2000»
15 years 8 months ago
Enhancing the GA's Ability to Cope with Dynamic Environments
: 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...
Mark Wineberg, Franz Oppacher
ICFEM
2000
Springer
15 years 8 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 8 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
AVI
2008
15 years 7 months ago
Interactive visual interfaces for evacuation planning
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
Gennady L. Andrienko, Natalia V. Andrienko, Ulrich...
FLAIRS
2008
15 years 7 months ago
Problem Posing in AnimalWatch: An Interactive System for Student-Authored Content
Bringing users into the process of content development may help to reduce the time and cost associated with tutoring system development, and may benefit users by deepening their u...
Mike Birch, Carole R. Beal