1413 search results - page 254 / 283 » A new condensation principle |
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
Data stream methods look at each new item of the stream, perform a small number of operations while keeping a small amount of memory, and still perform muchneeded analyses. Howeve...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. These results, however, apply pa...