3333 search results - page 192 / 667 » Abstract Proof Search |
121
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we introduce a Yet ImprovEd Limited Discrepancy Search (YIELDS), a complete algorithm for solving Constraint Satisfaction Problems. As indicated in its nam...
130
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...
146
click to vote
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Kernel based methods (such as k-nearest neighbors classifiers) for AI tasks translate the classification problem into a proximity search problem, in a space that is usu...
102
click to vote
ADC
2004
Springer
15 years 9 months ago
2004
Springer
Concerted research effort since the nineteen fifties has lead to effective methods for retrieval of relevant documents from homogeneous collections of text, such as r archives,...
148
click to vote
WAIM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. With information proliferation on the Web, how to obtain highquality information from the Web has been one of hot research topics in many fields like Database, IR as well...