10392 search results - page 1870 / 2079 » Introduction to Computer Science |
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...
188
click to vote
CSE
2009
IEEE
15 years 10 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...
155
click to vote
FOCS
2004
IEEE
15 years 10 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...