3388 search results - page 584 / 678 » Type-theoretic design patterns |
JODL
2000
13 years 10 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
PR
2000
13 years 10 months ago
2000
This paper presents an automatic method, based on the deformable template approach, for cell image segmentation under severe noise conditions. We de"ne a new methodology, div...
JIIS
2002
13 years 9 months ago
2002
Our research aims at discovering useful knowledge from the large collection of satellite images of typhoons using data mining approaches. We first introduce the creation of the typ...
TKDE
1998
13 years 9 months ago
1998
—We investigate the problem of retrieving similar shapes from a large database; in particular, we focus on medical tumor shapes (“Find tumors that are similar to a given patter...
TPDS
1998
13 years 9 months ago
1998
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...