3317 search results - page 124 / 664 » Strategies in Rigid-Variable Methods |
148
click to vote
ASC
2008
15 years 4 months ago
2008
This paper presents a methodology for automatically generating online scheduling strategies for a complex objective defined by a machine provider. To this end, we assume independe...
165
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
140
click to vote
ENTCS
2007
15 years 4 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
125
click to vote
ACL
1998
15 years 5 months ago
1998
While the notion of a cooperative response has been the focus of considerable research in natural language dialogue systems, there has been little empirical work demonstrating how...
194
click to vote
VLC
2008
15 years 4 months ago
2008
Given the difficulty of setting up large-scale experiments with real users, the comparison of content-based image retrieval methods using relevance feedback usually relies on the ...