15033 search results - page 274 / 3007 » Complexity Theory and Algorithms |
108
click to vote
SGAI
2005
Springer
15 years 10 months ago
2005
Springer
This paper details the application of geometric proportional analogies in the sub-classification of polygons within a topographic (land cover) map. The first part of this paper co...
156
click to vote
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
129
Voted
AAAI
2007
15 years 7 months ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
159
click to vote
AAAI
2008
15 years 7 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
124
click to vote
DAGSTUHL
2008
15 years 6 months ago
2008
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...