2080 search results - page 116 / 416 » Measuring empirical computational complexity |
139
click to vote
AAAI
2008
15 years 6 months ago
2008
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...
131
click to vote
IJCAI
2003
15 years 5 months ago
2003
Utility elicitation is a critical function of any automated decision aid, allowing decisions to be tailored to the preferences of a specific user. However, the size and complexit...
136
click to vote
E2EMON
2006
IEEE
15 years 10 months ago
2006
IEEE
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
131
click to vote
ACL
2009
15 years 2 months ago
2009
Empirical studies on corpora involve making measurements of several quantities for the purpose of comparing corpora, creating language models or to make generalizations about spec...
161
click to vote
WIOPT
2011
IEEE
14 years 8 months ago
2011
IEEE
There has been considerable recent work developing a new stochastic network utility maximization framework using Backpressure algorithms, also known as MaxWeight. A key open probl...