3758 search results - page 154 / 752 » A Complete Subsumption Algorithm |
138
Voted
ISBI
2007
IEEE
15 years 8 months ago
2007
IEEE
Unsupervised methods for automatic vessel segmentation from retinal images are attractive when only small datasets, with associated ground truth markings, are available. We presen...
112
Voted
MFCS
2005
Springer
15 years 7 months ago
2005
Springer
Systems of language equations of the form {ϕ(X1, . . . , Xn) = ∅, ψ(X1, . . . , Xn) = ∅} are studied, where ϕ, ψ may contain set-theoretic operations and concatenation; the...
93
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
147
Voted
ENTCS
2006
15 years 2 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
107
Voted
COMPUTER
1999
15 years 1 months ago
1999
Discovery of a network topology is a challenging task. Available algorithms that rely on simple hop-limited, traceroute-style probes give different performance in terms of the com...