5401 search results - page 844 / 1081 » Using Versions in GIS |
161
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a method to render artistic paper-cut of human portraits. Rendering paper-cut images from photographs can be considered as an inhomogeneous image binarization ...
182
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
173
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
180
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
150
click to vote
APAL
2010
15 years 6 months ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...