11016 search results - page 1995 / 2204 » Cloud Computing for Science |
166
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: Es wird über ein evolutionär entwickeltes System zur Dokumentation beim Systemmanagement berichtet. Die Dokumentationssoftware wird seit knapp zwei Jahren im Echtbetrieb einges...
175
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
Let P be a set of n points in R3 . The 2-center problem for P is to find two congruent balls of the minimum radius whose union covers P. We present two randomized algorithms for ...
105
click to vote
GI
2009
Springer
15 years 10 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...
159
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Das Forschungsprojekt „Herbar Digital” [JKS00] startete 2007 mit dem Ziel der Digitalisierung des Bestands von mehr als 3,5 Millionen getrockneter Pflanzen bzw. Pflanzenteile...
189
click to vote
DRUMS
1998
Springer
15 years 10 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...