1795 search results - page 15 / 359 » Search by strategy |
IANDC
1998
14 years 9 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
81
Voted
CIVR
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we propose adaptive multiple feedback strategies for interactive video retrieval. We first segregate interactive feedback into 3 distinct types (recall-driven relev...
IJHPCN
2006
14 years 9 months ago
2006
: On-demand routing protocols are widely used in mobile ad hoc networks due to their capability of adjusting to frequent network topology changes within acceptable routing overhead...
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we examine five different strategies for limiting the local search neighborhoods in the context of vehicle routing problems. The vehicle routing problem deals with th...
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
We regarded information retrieval as a graph search problem and proposed several novel dialog strategies that can recover from misrecognition through a spoken dialog that traverse...