1641 search results - page 216 / 329 » Termination Analysis with Algorithmic Learning |
114
click to vote
SIGECOM
2006
ACM
15 years 6 months ago
2006
ACM
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
MM
2003
ACM
15 years 5 months ago
2003
ACM
We present similarity-based methods to cluster digital photos by time and image content. The approach is general, unsupervised, and makes minimal assumptions regarding the structu...
76
Voted
CACM
2010
15 years 18 days ago
2010
We introduce and analyze a natural algorithm for multi-venue exploration from censored data, which is motivated by the Dark Pool Problem of modern quantitative finance. We prove t...
103
Voted
JSSPP
2007
Springer
15 years 6 months ago
2007
Springer
Heterogeneous clusters and grid infrastructures are becoming increasingly popular. In these computing infrastructures, machines have different resources, including memory sizes, d...
118
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...