Sciweavers

185 search results - page 24 / 37
» A Simple Min Cut Algorithm
Sort
View
107
Voted
GIS
2010
ACM
15 years 22 days ago
Bridge detection in grid terrains and improved drainage enforcement
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
Ryan Carlson, Andrew Danner
134
Voted
JAIR
2007
132views more  JAIR 2007»
15 years 2 months ago
New Inference Rules for Max-SAT
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
Chu Min Li, Felip Manyà, Jordi Planes
148
Voted
CVPR
2001
IEEE
16 years 4 months ago
Understanding Popout through Repulsion
Perceptual popout is defined by both feature similarity and local feature contrast. We identify these two measures with attraction and repulsion, and unify the dual processes of a...
Stella X. Yu, Jianbo Shi
114
Voted
ECCV
2006
Springer
16 years 4 months ago
Oriented Visibility for Multiview Reconstruction
Visibility estimation is arguably the most difficult problem in dense 3D reconstruction from multiple arbitrary views. In this paper, we propose a simple new approach to estimating...
Victor S. Lempitsky, Yuri Boykov, Denis V. Ivanov
FATES
2004
Springer
15 years 6 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse