Sciweavers

2780 search results - page 247 / 556
» Generalizing by Removing Detail
Sort
View
IJRR
2002
85views more  IJRR 2002»
15 years 6 months ago
On Motion Planning for Robotic Manipulation with Permanent Rolling Contacts
We address the motion planning problem (open-loop trajectory design) for manipulating rigid bodies with permanent rolling contact without slipping. This problem is related in part...
Bálint Kiss, Jean Lévine, Bél...
TOCS
1998
209views more  TOCS 1998»
15 years 6 months ago
UFO: A Personal Global File System Based on User-Level Extensions to the Operating System
ile system abstractions, they all require either changes to the operating system or modifications to standard libraries. The article gives a detailed performance analysis of our ap...
Albert Alexandrov, Maximilian Ibel, Klaus E. Schau...
ENTCS
2008
97views more  ENTCS 2008»
15 years 5 months ago
Coordination Models Orc and Reo Compared
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
José Proença, Dave Clarke
FSS
2010
112views more  FSS 2010»
15 years 5 months ago
Fuzzy sets and geometric logic
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
Steven Vickers
JAPLL
2010
133views more  JAPLL 2010»
15 years 5 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez