Sciweavers

2779 search results - page 26 / 556
» Modelling Immunological Memory
Sort
View
FMCAD
2000
Springer
14 years 19 days ago
Scalable Distributed On-the-Fly Symbolic Model Checking
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...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
POPL
2005
ACM
14 years 9 months ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve
PLILP
1993
Springer
14 years 1 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
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...
Vicente Benjumea, José M. Troya
ACL
1994
13 years 10 months ago
Part-of-Speech Tagging using a Variable Memory Markov Model
Wepresent a new approachtodisambiguatingsyntactically ambiguous words in context, based on Variable Memory Markov (VMM) models. In contrast to xed-length Markovmodels,whichpredict...
Hinrich Schütze, Yoram Singer
COGSR
2011
75views more  COGSR 2011»
13 years 4 months ago
A memory for goals model of sequence errors
We propose a model of routine sequence actions based on the Memory for Goals model. The model presents a novel process description for both perseveration and anticipation errors, ...
J. Gregory Trafton, Erik M. Altmann, Raj M. Ratwan...