4698 search results - page 36 / 940 » Making Functionality More General |
105
click to vote
CIKM
2001
Springer
15 years 7 months ago
2001
Springer
Tempus Fugit (“Time Flies”) is the first of a new generation of Personal Information Management (PIM) systems. A PIM system incorporates an electronic calendar, “to-do” li...
127
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
162
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Extracting useful knowledge from large network datasets has become a fundamental challenge in many domains, from scientific literature to social networks and the web. We introduc...
218
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
When a database query has a large number of results, the user can only be shown one page of results at a time. One popular approach is to rank results such that the "best&quo...
117
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...