Sciweavers

642 search results - page 67 / 129
» Once Upon a Type
Sort
View
111
Voted
PLDI
2012
ACM
13 years 6 months ago
Self-stabilizing Java
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
Yong Hun Eom, Brian Demsky
155
Voted
SODA
2012
ACM
196views Algorithms» more  SODA 2012»
13 years 6 months ago
Polytope approximation and the Mahler volume
The problem of approximating convex bodies by polytopes is an important and well studied problem. Given a convex body K in Rd , the objective is to minimize the number of vertices...
Sunil Arya, Guilherme Dias da Fonseca, David M. Mo...
172
Voted
MIG
2009
Springer
15 years 10 months ago
Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
Ronan Boulic, Daniel Raunhardt
122
Voted
FOCS
2007
IEEE
15 years 10 months ago
Towards Sharp Inapproximability For Any 2-CSP
We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or...
Per Austrin
103
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
On the Effectiveness of Service Registration-Based Worm Defense
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...
Jin-Ho Kim, Hyogon Kim, Saewoong Bahk