4266 search results - page 144 / 854 » Search for More Declarativity |
106
Voted
AMAI
2002
Springer
15 years 4 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
125
click to vote
SCL
2008
15 years 3 months ago
2008
: Dissipative systems is a widely studied subject and the concept of storage functions are closely associated to dissipative systems. These storage functions for 1-D systems (syste...
133
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Web search engines present search results in a rank ordered list. This works when what a user wants is near the top, but sometimes the information that the user really wants is lo...
153
click to vote
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...
148
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Determining the user intent of Web searches is a difficult problem due to the sparse data available concerning the searcher. In this paper, we examine a method to determine the us...