2585 search results - page 517 / 517 » computing 1999 |
GI
2005
Springer
13 years 10 months ago
2005
Springer
: Die Arbeitsgruppe Echtzeitsysteme und Kommunikation an der Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg nutzt die Attraktivität von Roboterbaukästen, ...
GI
2003
Springer
13 years 10 months ago
2003
Springer
: Als Einführung in den Workshop reflektiert der Beitrag die bisherigen Geschichtsberachtungen von Pionieren und Historikern des Internet. Er möchte zeigen, dass die bislang domi...
GI
2009
Springer
13 years 9 months ago
2009
Springer
: Der Beitrag diskutiert die kontroversen Ansätze – Verifizierung versus Evaluation/Zertifizierung – zur Sicherung elektronischer Wahlen mit Wahlgeräten. Dabei spielt das Urt...
GECCO
1999
Springer
13 years 9 months ago
1999
Springer
Genetic programming makes it possible to automatically search the space of possible programs. First we evolved a behavior-based control architecture using computer simulations. Th...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...