1615 search results - page 10 / 323 » Computer science and decision theory |
DIS
2009
Springer
14 years 2 months ago
2009
Springer
STACS
2007
Springer
14 years 1 months ago
2007
Springer
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
SYNTHESE
2008
13 years 7 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...