443 search results - page 15 / 89 » A Simple Solution to Type Specialization |
82
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper deals with the in-depth kinematic analysis of a special parallel wrist, called the Agile Eye. The Agile Eye is a three-legged spherical parallel robot with r...
140
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
230
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
124
Voted
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
174
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We introduce a novel type of total variation regularizer, TVS1 , for cyclic structures such as angles or hue values. The method handles the periodicity of values in a simple and c...