3299 search results - page 261 / 660 » A general mathematics of names |
168
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents the motivation, resources and results for the first Web People Search task, which was organized as part of the SemEval-2007 evaluation exercise. Also, we will ...
170
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. In an effort to preserve privacy, the practice of anon...
158
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper addresses the desktop search problem by considering various techniques for ranking results of a search query over the file system. First, basic ranking techniques, whic...
176
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We present a method for acquiring ontological knowledge using search query logs. We first use query logs to identify important contexts associated with terms belonging to a semant...
179
Voted
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...