13383 search results - page 2345 / 2677 » Abstractions from proofs |
128
click to vote
ELPUB
1999
ACM
15 years 8 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
119
Voted
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
Abstract We compare the performance of two database selection algorithms reported in the literature. Their performance is compared using a common testbed designed specifically for ...
147
click to vote
DL
1999
Springer
15 years 8 months ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
131
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
146
click to vote
JAVA
1999
Springer
15 years 8 months ago
1999
Springer
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...