Sciweavers

25167 search results - page 4883 / 5034
» Parallel and Distributed Algorithms
Sort
View
123
Voted
FOCS
2008
IEEE
15 years 9 months ago
A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match
This work investigates a geometric approach to proving cell probe lower bounds for data structure problems. We consider the approximate nearest neighbor search problem on the Bool...
Rina Panigrahy, Kunal Talwar, Udi Wieder
131
Voted
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 8 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
113
Voted
IPMI
2003
Springer
15 years 7 months ago
CAD Tool for Burn Diagnosis
In this paper, a novel region growing algorithm for segmenting burn wounds in digital photographs of the skin is presented. This segmentation step has been developed as part of a C...
Begoña Acha, Carmen Serrano, José I....
143
Voted
CVPR
2005
IEEE
16 years 4 months ago
Bayesian Object Detection in Dynamic Scenes
Detecting moving objects using stationary cameras is an important precursor to many activity recognition, object recognition and tracking algorithms. In this paper, three innovati...
Yaser Sheikh, Mubarak Shah
CVPR
2005
IEEE
16 years 4 months ago
Local Color Transfer via Probabilistic Segmentation by Expectation-Maximization
We address the problem of regional color transfer between two natural images by probabilistic segmentation. We use a new Expectation-Maximization (EM) scheme to impose both spatia...
Yu-Wing Tai, Jiaya Jia, Chi-Keung Tang
« Prev « First page 4883 / 5034 Last » Next »