Sciweavers

2107 search results - page 261 / 422
» Computing Small Search Numbers in Linear Time
Sort
View
ICCV
2007
IEEE
14 years 11 months ago
Real-time Accurate Object Detection using Multiple Resolutions
We propose a multi-resolution framework inspired by human visual search for general object detection. Different resolutions are represented using a coarse-to-fine feature hierarch...
Wei Zhang 0002, Gregory J. Zelinsky, Dimitris Sama...
BIBE
2006
IEEE
119views Bioinformatics» more  BIBE 2006»
14 years 3 months ago
Large Grain Size Stochastic Optimization Alignment
DNA sequence alignment is a critical step in identifying homology between organisms. The most widely used alignment program, ClustalW, is known to suffer from the local minima pro...
Perry Ridge, Hyrum Carroll, Dan Sneddon, Mark J. C...
CVPR
2007
IEEE
14 years 11 months ago
Resolving the Generalized Bas-Relief Ambiguity by Entropy Minimization
It is well known in the photometric stereo literature that uncalibrated photometric stereo, where light source strength and direction are unknown, can recover the surface geometry...
Neil G. Alldrin, Satya P. Mallick, David J. Kriegm...
RECOMB
2000
Springer
14 years 24 days ago
Sequencing-by-hybridization at the information-theory bound: an optimal algorithm
In a recent paper (Preparata et al., 1999) we introduced a novel probing scheme for DNA sequencing by hybridization (SBH). The new gapped-probe scheme combines natural and univers...
Franco P. Preparata, Eli Upfal
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 7 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...