173 search results - page 10 / 35 » A Framework for Proving Contract-Equipped Classes |
ICML
2003
IEEE
14 years 8 months ago
2003
IEEE
We present BL-WoLF, a framework for learnability in repeated zero-sum games where the cost of learning is measured by the losses the learning agent accrues (rather than the number...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
On-line action recognition from a continuous stream of actions is still an open problem with fewer solutions proposed compared to time-segmented action recognition. The most chall...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
COCO
2003
Springer
14 years 27 days ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...