7495 search results - page 561 / 1499 » Intelligent Document Processing |
169
click to vote
ICTAI
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
121
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In the past few years there have been a number of proposals for mechanisms for negotiation between agents that make use of argumentation. These proposals have largely bee...
175
click to vote
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, a new heuristic that can be grafted to many of the most e cient branching strategies for Davis and Putnam procedures for SAT is described. This heuristic gives a hig...
164
click to vote
JELIA
1998
Springer
15 years 11 months ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
163
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...