Sciweavers

3758 search results - page 497 / 752
» A Complete Subsumption Algorithm
Sort
View
BIBE
2009
IEEE
135views Bioinformatics» more  BIBE 2009»
15 years 4 months ago
Vascular Tree Construction with Anatomical Realism for Retinal Images
In this paper, we present a method to automatically extract the vessel segments and construct the vascular tree with anatomical realism from a color retinal image. The significanc...
Kai-Shung Lin, Chia-Ling Tsai, Michal Sofka, Chih-...
GI
2009
Springer
15 years 4 months ago
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Ki...
ICCAD
2009
IEEE
119views Hardware» more  ICCAD 2009»
15 years 4 months ago
Iterative layering: Optimizing arithmetic circuits by structuring the information flow
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
Ajay K. Verma, Philip Brisk, Paolo Ienne
ICIP
2009
IEEE
15 years 4 months ago
Generative model for abandoned object detection
This paper proposes an algorithm for abandoned object detection based on generative model of low level features. First, suspected blobs are detected by foreground detection and pi...
Jianting Wen, Haifeng Gong, Xia Zhang, Wenze Hu
ENTCS
2010
96views more  ENTCS 2010»
15 years 3 months ago
Programming in Biomolecular Computation
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen