1128 search results - page 118 / 226 » Classical Natural Deduction |
120
click to vote
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
118
click to vote
SAGA
2001
Springer
15 years 5 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
103
Voted
UM
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
99
Voted
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe a genetic segmentation algorithm for video. This algorithm operates on segments of a string representation. It is similar to both classical genetic algorithms that ope...
157
Voted
ISTCS
1997
Springer
15 years 4 months ago
1997
Springer
We investigate the power of quantum computers when they are required to return an answer that is guaranteed to be correct after a time that is upper-bounded by a polynomial in the...