4581 search results - page 548 / 917 » Computing Transformation Semigroups |
145
click to vote
ASM
2005
ASM
16 years 9 days 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...
186
Voted
CIS
2005
Springer
16 years 9 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. ...
161
click to vote
DNA
2005
Springer
16 years 9 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...
173
Voted
EMMCVPR
2005
Springer
16 years 9 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 ...
191
click to vote
EMMCVPR
2005
Springer
16 years 9 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 ...