993 search results - page 2 / 199 » Set Constraints on Regular Terms |
110
Voted
JMIV
2008
15 years 24 days ago
2008
Every stereovision application must cope with the correspondence problem. The space of the matching variables, often consisting of spatial coordinates, intensity and disparity, is...
100
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
119
Voted
IANDC
2007
15 years 23 days ago
2007
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
101
Voted
ENTCS
2007
15 years 24 days ago
2007
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
150
Voted
TIP
2010
14 years 11 months ago
2010
Abstract—This study investigates level set multiphase image segmentation by kernel mapping and piecewise constant modeling of the image data thereof. A kernel function maps impli...