Sciweavers

2827 search results - page 330 / 566
» Robustness of PSPACE-complete sets
Sort
View
MVA
2000
113views Computer Vision» more  MVA 2000»
15 years 8 months ago
A Detection Method of Cracks and Structural Objects of the Road Surface Image
2 Notation This paper introduces a new detection method of crack and structural objects, whiteline ,joint and manhole of the road surface image based on morphological t,echnique . ...
Naoki Tanaka, Masayo Mouri
AAAI
1990
15 years 7 months ago
Mechanizing Inductive Reasoning
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
Emmanuel Kounalis, Michaël Rusinowitch
ALENEX
2009
118views Algorithms» more  ALENEX 2009»
15 years 7 months ago
Solving Maximum Flow Problems on Real World Bipartite Graphs
In this paper we present an experimental study of several maximum flow algorithms in the context of unbalanced bipartite networks. Our experiments are motivated by a real world pr...
Cosmin Silvestru Negruseri, Mircea Bogdan Pasoi, B...
BILDMED
2009
207views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Polyp Segmentation in NBI Colonoscopy
Endoscopic screening of the colon (colonoscopy) is performed to prevent cancer and to support therapy. During intervention colon polyps are located, inspected and, if need be, remo...
Sebastian Gross, Manuel Kennel, Thomas Stehle, Jon...
ACCV
2010
Springer
15 years 7 months ago
Efficient Large-Scale Stereo Matching
ACCV In this paper we propose a novel approach to binocular stereo for fast matching of high-resolution images. Our approach builds a prior on the disparities by forming a ...
Andreas Geiger, Martin Roser and Raquel Urtasun