10715 search results - page 1812 / 2143 » From Tests to Proofs |
181
click to vote
SIGMETRICS
1998
ACM
15 years 6 months ago
1998
ACM
The increasing complexity of computer networks and our increasing dependence on them means enforcing reliability requirements is both more challenging and more critical. The expan...
205
click to vote
SIMULATION
1998
15 years 6 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
218
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Different presentations of candidate expansion terms have not been fully explored in interactive query expansion (IQE). Most existing systems that offer an IQE facility use a list...
196
click to vote
TCAD
1998
15 years 6 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
172
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...