4581 search results - page 548 / 917 » Computing Transformation Semigroups |
160
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
196
click to vote
CIS
2005
Springer
16 years 29 days ago
2005
Springer
In this paper, a new approach on image registration is presented. We introduce a novel conception- normal vector information (NVI) - to evaluate the similarity between two images. ...
173
Voted
DNA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
187
Voted
EMMCVPR
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
205
Voted
EMMCVPR
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...