357 search results - page 46 / 72 » Is Computational Complexity a Barrier to Manipulation |
173
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
143
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
We propose a design for displaying and manipulating HTML forms on small PDA screens. The form input widgets are not shown until the user is ready to fill them in. At that point, o...
180
click to vote
SOSP
2007
ACM
16 years 2 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
185
click to vote
IROS
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
162
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...