642 search results - page 20 / 129 » Once Upon a Type |
HLK
2003
IEEE
15 years 5 months ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
CG
1999
Springer
14 years 11 months ago
1999
Springer
Building upon work which illustrated families of chaotic functions with planar symmetries, we explore evolving attractors from one symmetry type to another. We observe different wa...
ACII
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. As robotic platforms are designed for human robot interaction applications, a full body sense of touch, or “sensitive skin,” becomes important. The Huggable is a new ...
119
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
AMCS
2008
14 years 12 months ago
2008
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...