Sciweavers

137 search results - page 12 / 28
» Dynamic Friction Closure
Sort
View
ICFP
2001
ACM
16 years 3 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
15 years 1 months ago
Improved appearance-based matching in similar and dynamic environments using a Vocabulary tree
Abstract— In this paper we present a topological map building algorithm based on a Vocabulary Tree that is robust to features present in dynamic or similar environments. The algo...
Deon George Sabatta, Davide Scaramuzza, Roland Sie...
ACSC
2003
IEEE
15 years 8 months ago
A Novel Approach to Parenting in Functional Program Evaluation
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
Julian R. Dermoudy
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 8 months ago
Implementation of multi-rigid-body dynamics within a robotic grasping simulator
Robotic simulation systems allow researchers, engineers, and students to test control algorithms in a safe environment, but until recently these systems only simulated the dynamic...
Andrew T. Miller, Henrik I. Christensen
127
Voted
SIAMMA
2010
122views more  SIAMMA 2010»
14 years 10 months ago
Asymptotic Flocking Dynamics for the Kinetic Cucker-Smale Model
In this paper, we analyse the asymptotic behavior of solutions of the continuous kinetic version of flocking by Cucker and Smale [16], which describes the collective behavior of an...
J. A. Carrillo, M. Fornasier, J. Rosado, G. Toscan...