3434 search results - page 184 / 687 » Peer-to-Peer Keyword Search Using Keyword Relationship |
176
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Name ambiguity problem has been a challenging issue for a long history. In this paper, we intend to make a thorough investigation of the whole problem. Specifically, we formalize ...
166
click to vote
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Mobile services can provide users with information relevant to their current circumstances. Distant services in turn can acquire local information from people in an area of intere...
163
click to vote
ML
2006
ACM
16 years 12 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
185
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
174
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...