Stereo algorithms for structure reconstruction demand accurate disparities with low mismatch errors and false positives. Mismatch errors in large textureless regions force most ac...
Cathleen A. Geiger, Chandra Kambhamettu, Gowri Som...
Stereo algorithms for structure reconstruction demand accurate disparities with low mismatch errors
and false positives. Mismatch errors in large textureless regions force most a...
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...
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...
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...