Sciweavers

207 search results - page 10 / 42
» Linear Forwarders
Sort
View
ICRA
2008
IEEE
181views Robotics» more  ICRA 2008»
14 years 2 months ago
Kinematics of the wire-driven parallel robot MARIONET using linear actuators
— Wire-driven parallel robots are special types of Gough-Stewart platform in which the rigid extensible legs are substituted by extensible wires. Usually wire length change is ob...
Jean-Pierre Merlet
CVPR
2003
IEEE
14 years 10 months ago
Simultaneous Feature Selection and Classifier Training via Linear Programming: A Case Study for Face Expression Recognition
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...
Guodong Guo, Charles R. Dyer
ICIAP
2001
Springer
14 years 8 months ago
Recognition of Shape-Changing Hand Gestures Based on Switching Linear Model
We present a method to track and recognize shape-changing hand gestures simultaneously. The switching linear model using active contour model well corresponds to temporal shapes a...
Mun Ho Jeong, Yoshinori Kuno, Nobutaka Shimada, Yo...
PPDP
2005
Springer
14 years 1 months ago
Monadic concurrent linear logic programming
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
Pablo López, Frank Pfenning, Jeff Polakow, ...
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 8 months ago
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, En...