Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential of the brain in l...
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Wepresent a new approachtodisambiguatingsyntactically ambiguous words in context, based on Variable Memory Markov (VMM) models. In contrast to xed-length Markovmodels,whichpredict...