3434 search results - page 184 / 687 » Peer-to-Peer Keyword Search Using Keyword Relationship |
195
Voted
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 ...
178
Voted
CHI
2010
ACM
15 years 5 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...
185
Voted
ML
2006
ACM
16 years 1 months 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 ...
204
Voted
AISC
2008
Springer
15 years 9 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...
194
Voted
GROUP
2007
ACM
15 years 11 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...