828 search results - page 63 / 166 » Bounded Hairpin Completion |
ICIP
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we propose a new public key watermarking scheme for reversible image authentication where if the image is authentic, the distortion due to embedding can be complete...
CAIP
2005
Springer
14 years 3 months ago
2005
Springer
We consider simple cube-curves in the orthogonal 3D grid. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded set. The c...
FSTTCS
2004
Springer
14 years 3 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
We discuss the theoretical limitations for reconfiguration of metamorphic robots made up of Telecubes, six degree of freedom cube shaped modules currently being developed at Xerox...