12493 search results - page 2309 / 2499 » Information Access in the Web |
165
click to vote
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
156
click to vote
CONEXT
2009
ACM
15 years 2 months ago
2009
ACM
We consider the problem of providing ubiquitous yet affordable Internet connectivity to devices at home, at work, and on the move. In this context, we take advantage of two signif...
105
click to vote
NAR
1998
15 years 1 months ago
1998
The HuGeMap database stores the major genetic and physical maps of the human genome. It is also interconnected with the gene radiation hybrid mapping database RHdb. HuGeMap is acc...
233
Voted
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent years, the data management community has begun to consider situations in which data access is closely tied to network routing and distributed acquisition: examples includ...
110
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Website privacy policies state the ways that a site will use personal identifiable information (PII) that is collected from fields and forms in web-based transactions. Since these...