Sciweavers

2362 search results - page 74 / 473
» A new approach to edge detection
Sort
View
CC
2004
Springer
110views System Software» more  CC 2004»
15 years 6 months ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
CVPR
2009
IEEE
16 years 8 months ago
Learning Rotational Features for Filament Detection
State-of-the-art approaches for detecting filament-like structures in noisy images rely on filters optimized for signals of a particular shape, such as an ideal edge or ridge. W...
François Fleuret, Germán Gonzá...
CVPR
2000
IEEE
16 years 3 months ago
Zebra-Crossing Detection for the Partially Sighted
Zebra-crossings are useful road features for outdoor navigation in mobility aids for the partially sighted. In this paper, zebra-crossings are detected by looking for groups of co...
Stephen Se
FSTTCS
2001
Springer
15 years 5 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...
TCS
2008
15 years 1 months ago
Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...
Anne Berry, Elias Dahlhaus, Pinar Heggernes, Genev...