10392 search results - page 1870 / 2079 » Introduction to Computer Science |
GI
2009
Springer
15 years 5 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...
102
Voted
GI
2009
Springer
15 years 5 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...
131
click to vote
DRUMS
1998
Springer
15 years 5 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...
120
click to vote
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Social networks are the substrate upon which we make and evaluate many of our daily decisions: our costs and benefits depend on whether--or how many of, or which of--our friends ar...
97
Voted
FOCS
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of GW + , for all > 0; here GW .878567 denotes the a...