Sciweavers

18572 search results - page 912 / 3715
» High performance C
Sort
View
172
Voted
MIRRORBOT
2005
Springer
127views Robotics» more  MIRRORBOT 2005»
16 years 1 months ago
MaximumOne: An Anthropomorphic Arm with Bio-inspired Control System
In this paper we present our bio-mimetic artificial arm and the simulation results on its low level control system. In accordance with the general view of the Biorobotics field w...
Michele Folgheraiter, Giuseppina C. Gini
VMCAI
2005
Springer
16 years 1 months ago
Termination of Polynomial Programs
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
DAGM
2004
Springer
16 years 1 months ago
Spatio-temporal Segmentation Using Laserscanner and Video Sequences
Abstract. Reliable object detection and segmentation is crucial for active safety driver assistance applications. In urban areas where the object density is high, a segmentation ba...
Nico Kaempchen, Markus Zocholl, Klaus C. J. Dietma...
SAMOS
2004
Springer
16 years 1 months ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
192
Voted
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
16 years 19 days ago
DEEP: Dual-Space Expansion for Estimating Penetration Depth Between Convex Polytopes
Abstract— We present an incremental algorithm to estimate the penetration depth between convex polytopes in 3D. The algorithm incrementally seeks a “locally optimal solution”...
Young J. Kim, Ming C. Lin, Dinesh Manocha