216 search results - page 22 / 44 » From Constraints to Finite Automata to Filtering Algorithms |
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Stereo algorithms for structure reconstruction demand accurate disparities with low mismatch errors and false positives. Mismatch errors in large textureless regions force most ac...
ICPR
2008
IEEE
13 years 9 months ago
2008
IEEE
Stereo algorithms for structure reconstruction demand accurate disparities with low mismatch errors
and false positives. Mismatch errors in large textureless regions force most a...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
AAAI
1996
13 years 9 months ago
1996
Agents that operate in a multi-agent system need an efficient strategy to handle their encounters with other agents involved. Searching for an optimal interactive strategy is a ha...
ENTCS
2008
13 years 8 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...