3740 search results - page 630 / 748 » A Fast Skeletonization Method |
PPDP
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
WABI
2001
Springer
14 years 2 months ago
2001
Springer
Using current technology, large consecutive stretches of DNA (such as whole chromosomes) are usually assembled from short fragments obtained by shotgun sequencing, or from fragment...
DCC
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a novel algorithm that assigns codes to instructions during instruction code compression in order to minimize bus-related bit-toggling and thus reducing power consumpti...
VISUALIZATION
2000
IEEE
14 years 2 months ago
2000
IEEE
We propose a novel approach for segmentation and digital cleansing of endoscopic organs. Our method can be used for a variety of segmentation needs with little or no modification...
SIGMETRICS
2000
ACM
14 years 2 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...