89222 search results - page 31 / 17845 » Which |
SYNTHESE
2008
13 years 8 months ago
2008
: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...
TARK
2009
Springer
14 years 3 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
UM
2009
Springer
14 years 3 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the participation of the MIRACLE team1 at the ImageCLEF 2005 interactive search task, in which we compare the efficiency of AND monolingual queries (which have ...