6833 search results - page 209 / 1367 » Some two-character sets |
150
click to vote
SCAI
2008
15 years 6 months ago
2008
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
147
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
150
click to vote
PDPTA
1997
15 years 6 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
TIES OF THE DISTRIBUTION OF ABSTRACT VAN DER CORPUT SEQUENCES WOLFGANG STEINER Abstract. Similarly to -adic van der Corput sequences, abstract van der Corput secan be defined by ab...
117
click to vote
ENTCS
2010
15 years 4 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...