8746 search results - page 256 / 1750 » Diversifying search results |
134
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
82
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Large quantities of documents in the Internet and digital libraries are simply scanned and archived in image format, many of which are packed in PDF files. The word search tool pr...
109
Voted
AI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
CG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Years of work have gone into algorithms and optimizations for twoplayer perfect-information games such as Chess and Checkers. It is only more recently that serious resear...
107
click to vote
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
In business, the retrieval of up-to-date, or fresh, information is very important. It is difficult for conventional search engines based on a centralized architecture to retrieve ...