Sciweavers

2064 search results - page 329 / 413
» Segmentation Problems
Sort
View
BMCBI
2011
13 years 15 days ago
Inference of Chromosome-Specific Copy Numbers Using Population Haplotypes
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
Yao-Ting Huang, Min-Han Wu
PLDI
2011
ACM
12 years 11 months ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
CVPR
2012
IEEE
11 years 11 months ago
A learning-based framework for depth ordering
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...
Zhaoyin Jia, Andrew C. Gallagher, Yao-Jen Chang, T...
IBPRIA
2003
Springer
14 years 2 months ago
Robust Extraction of Vertices in Range Images by Constraining the Hough Transform
We describe a technique for extracting vertices from range images of cluttered box-like objects. Edge detection is performed and an edge map is acquired. Extraction of vertices is ...
Dimitrios Katsoulas
ICANN
1997
Springer
14 years 1 months ago
Simulation of Spiking Neural Networks on Different Hardware Platforms
: Substantial evidence indicates that the time structure of neuronal spike trains is relevant in neuronal signal processing. Bio-inspired spiking neural networks are taking these r...
Axel Jahnke, Tim Schönauer, Ulrich Roth, K. M...