892 search results - page 78 / 179 » Strategies in sentential reasoning |
106
Voted
INTERACT
2003
15 years 6 months ago
2003
: Human-Computer Interaction field in Spain has experienced a great expansion in the last few years, even if this happened with some delay in comparison with neighbour countries. T...
WCE
2007
15 years 5 months ago
2007
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...
154
Voted
NDJFL
2002
15 years 4 months ago
2002
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
151
click to vote
ICTIR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
150
click to vote
TIFS
2008
15 years 4 months ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...