513 search results - page 16 / 103 » Shape Types |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We introduce a shape descriptor that is based on the Symmetry Set. This set represents pairwise symmetric points and consists of several branches. The begin and end points of the ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
A visual query is based on pictorial representation of conceptual entities and operations. One of the most important features used in visual queries is the shape. Despite its intu...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— To understand the capabilities and behavior of a robot it is important to have knowledge about its physical structure and how its actuators control its shape. In this paper we ...