4894 search results - page 586 / 979 » Choices |
168
click to vote
AH
2004
Springer
16 years 5 days ago
2004
Springer
EDUCE is an Intelligent Tutoring System for which a set of learning resources has been developed using the principles of Multiple Intelligences. It can dynamically identify learnin...
162
click to vote
AIRS
2004
Springer
16 years 5 days ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...
195
click to vote
CAV
2004
Springer
16 years 5 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
186
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
192
click to vote
COORDINATION
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...