4184 search results - page 316 / 837 » Names of Our Lives |
203
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Popular entities often have thousands of instances on the Web. In this paper, we focus on the case where they are presented in table-like format, namely appearing with their attri...
203
click to vote
MOBICOM
2005
ACM
16 years 1 months ago
2005
ACM
One of the challenging tasks in the deployment of dense wireless networks (like sensor networks) is in devising a routing scheme for node to node communication. Important consider...
209
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
199
click to vote
PAM
2004
Springer
16 years 27 days ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
184
click to vote
ICAI
2004
15 years 9 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...