5243 search results - page 355 / 1049 » Reasoning About Strategies |
175
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this work we investigate the difficulty of the discrete logarithm problem in class groups of imaginary quadratic orders. In particular, we discuss several strategies t...
152
click to vote
INTERACT
2003
15 years 8 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...
128
click to vote
WCE
2007
15 years 8 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...
193
click to vote
NDJFL
2002
15 years 6 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...
192
click to vote
ICTIR
2009
Springer
15 years 4 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...