922 search results - page 155 / 185 » A generalization of the Lin-Zhao theorem |
COLT
2006
Springer
13 years 11 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
COMPGEOM
1995
ACM
13 years 11 months ago
1995
ACM
Abstract. We show that there is a matching between the edges of any two triangulations of a planar point set such that an edge of one triangulation is matched either to the identic...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...