2370 search results - page 157 / 474 » The Characterization of Data-Accumulating Algorithms |
116
click to vote
POPL
2011
ACM
14 years 28 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
112
click to vote
SIGMETRICS
2011
ACM
14 years 27 days ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
150
click to vote
TON
2012
13 years 16 days ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
We present a closed set data mining paradigm which is particularly e ective for uncovering the kind of deterministic, causal dependencies that characterize much of basic science. ...
ALT
2006
Springer
15 years 7 months ago
2006
Springer
The present paper mainly studies the expected teaching time of memoryless randomized learners without feedback. First, a characterization of optimal randomized learners is provided...