Sciweavers

3979 search results - page 232 / 796
» Wild control operators
Sort
View
FLOPS
2008
Springer
15 years 8 months ago
Undoing Dynamic Typing (Declarative Pearl)
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
Nick Benton
CDC
2008
IEEE
139views Control Systems» more  CDC 2008»
16 years 1 months ago
Human-in-the-loop vehicle routing policies for dynamic environments
— In this paper we design coordination policies for a routing problem requiring human-assisted classification of targets through analysis of information gathered on-site by auto...
Ketan Savla, Tom Temple, Emilio Frazzoli
DOCENG
2008
ACM
15 years 8 months ago
Merging changes in XML documents using reliable context fingerprints
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
Sebastian Rönnau, Christian Pauli, Uwe M. Bor...
IROS
2006
IEEE
135views Robotics» more  IROS 2006»
16 years 18 days ago
On the Capture of Tumbling Satellite by a Space Robot
— This paper deals with problems related to the capture of a tumbling satellite by a space robot. The minimization of the base attitude deviation before and after the contact wit...
Kazuya Yoshida, Dimitar Dimitrov, Hiroki Nakanishi
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
16 years 5 days ago
Haptic Rendering of Topological Constraints to Users Manipulating Serial Virtual Linkages
— This paper presents an approach for haptic rendering of topological constraints to users operating serial virtual linkages. In the proposed approach, a haptic device controller...
Daniela Constantinescu, S. E. Salcudean, Elizabeth...