16070 search results - page 209 / 3214 » Identifying |
144
click to vote
SMI
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
137
click to vote
EUROMICRO
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
177
click to vote
MICCAI
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents a method for identifying image loci that can be used as a basis for object segmentation and image registration. The focus is on 1D and 2D shape loci in 3D image...
125
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...
125
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...