8699 search results - page 250 / 1740 » Elements of the Theory of Computation |
200
click to vote
ICIAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
185
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
174
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
171
click to vote
WSS
2001
15 years 8 months ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...
158
click to vote
WSCG
2000
15 years 8 months ago
2000
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...