3820 search results - page 532 / 764 » Bounded Model Debugging |
116
click to vote
DCC
2006
IEEE
16 years 2 months ago
2006
IEEE
The use of compression algorithms in machine learning tasks such as clustering and classification has appeared in a variety of fields, sometimes with the promise of reducing probl...
143
click to vote
SDM
2009
SIAM
16 years 11 days ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
118
click to vote
SOSP
2001
ACM
16 years 1 days ago
2001
ACM
As raw system and network performance continues to improve at exponential rates, the utility of many services is increasingly limited by availability rather than performance. A ke...
121
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...
124
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Coordination of multiple agents under uncertainty in the decentralized POMDP model is known to be NEXP-complete, even when the agents have a joint set of goals. Nevertheless, we s...