Sciweavers

514 search results - page 52 / 103
» Multiplicative structures in additively large sets
Sort
View
ICIP
2008
IEEE
14 years 9 months ago
A robot-based 3D body scanning system using passive stereo vision
This paper proposes a three-dimensional (3D) body scanning system that uses passive stereo vision with a robot arm. So far, the reported 3D body scanning systems employ active 3D ...
Kazuyuki Miyazawa, Takafumi Aoki
LICS
2008
IEEE
14 years 2 months ago
A Neutral Approach to Proof and Refutation in MALL
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
Olivier Delande, Dale Miller
RECOMB
2009
Springer
14 years 8 months ago
Haplotype Inference in Complex Pedigrees
Abstract. Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree ...
Bonnie Kirkpatrick, Javier Rosa, Eran Halperin, Ri...
APPROX
2009
Springer
153views Algorithms» more  APPROX 2009»
14 years 2 months ago
Average-Case Analyses of Vickrey Costs
We explore the average-case “Vickrey” cost of structures in a random setting: the Vickrey cost of a shortest path in a complete graph or digraph with random edge weights; the V...
Prasad Chebolu, Alan M. Frieze, Páll Melste...
CVPR
2004
IEEE
14 years 9 months ago
Robust Color Object Detection Using Spatial-Color Joint Probability Functions
Object detection in unconstrained images is an important image understanding problem with many potential applications. There has been little success in creating a single algorithm...
David J. Crandall, Jiebo Luo