1523 search results - page 217 / 305 » Partially ordered secretaries |
104
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
82
Voted
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
According to the Commission for Social Care Inspection, performance in Care Homes can be evaluated through a range of indicators in each of the different outcome areas specified by...
117
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Opponent models are necessary in games where the game state is only partially known to the player, since the player must infer the state of the game based on the opponent’s acti...
85
Voted
MICAI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we discuss tree kernels that can be applied for the classification of XML documents based on their DOM trees. DOM trees are ordered trees, in which every node might...
101
Voted
SUM
2007
Springer
15 years 6 months ago
2007
Springer
In medical clinical trials, overall trial results are highlighted in the s of papers/reports. These results are summaries of underlying statistical analysis where most of the time ...