11862 search results - page 2004 / 2373 » Relative information completeness |
196
click to vote
BTW
2007
Springer
16 years 29 days ago
2007
Springer
: The emerging trend towards seamless monitoring of all business processes via comprehensive sensor networks – in particular RFID readers – creates new data management challeng...
190
click to vote
CEEMAS
2007
Springer
16 years 29 days ago
2007
Springer
We present a multi-agent system designed to detect malicious traffic in high-speed networks. In order to match the performance requirements related to the traffic volume, the net...
224
click to vote
CEFP
2007
Springer
16 years 29 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
170
click to vote
CIKM
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we describe the ChemXSeer system that hosts data and scholarly articles related to chemical kinetics. Domain scientists have different needs that are not served by ...
165
click to vote
COCO
2007
Springer
16 years 29 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...