10715 search results - page 1874 / 2143 » From Tests to Proofs |
183
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
208
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
163
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
Traces of Internet packets from the past two years show that between 1 packet in 1,100 and 1 packet in 32,000 fails the TCP checksum, even on links where link-level CRCs should ca...
187
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
182
click to vote
ELPUB
1999
ACM
15 years 11 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...