Sciweavers

2779 search results - page 26 / 556
» Modelling Immunological Memory
Sort
View
FMCAD
2000
Springer
15 years 4 months 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...
184
Voted
POPL
2005
ACM
16 years 25 days ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve
100
Voted
PLILP
1993
Springer
15 years 4 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
79
Voted
ACL
1994
15 years 1 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
89
Voted
COGSR
2011
75views more  COGSR 2011»
14 years 7 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...