2740 search results - page 111 / 548 » Typing the Specialization Interface |
111
click to vote
HRI
2012
ACM
13 years 8 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
79
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
90
Voted
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
77
Voted
ASSETS
2000
ACM
15 years 5 months ago
2000
ACM
Graphical user interfaces are one of the more prevalent interface types which exist today. The popularity of this interface type has caused problems for users with poor vision. Be...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
We present a method for browsing videos by directly dragging their content. This method brings the benefits of direct manipulation to an activity typically mediated by widgets. We...