3333 search results - page 192 / 667 » Abstract Proof Search |
164
Voted
CPAIOR
2007
Springer
16 years 1 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...
183
click to vote
COMPSAC
2005
IEEE
16 years 18 days 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...
185
click to vote
MICAI
2005
Springer
16 years 14 days 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...
139
Voted
ADC
2004
Springer
16 years 12 days 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,...
193
Voted
WAIM
2001
Springer
15 years 11 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...