Sciweavers

980 search results - page 105 / 196
» Logical Testing
Sort
View
WSC
2004
13 years 10 months ago
Controlling Over-Optimism in Time-Warp Via CPU-Based Flow Control
In standard optimistic parallel event simulation, no restriction exists on the maximum lag in simulation time between the fastest and slowest logical processes (LPs). Overoptimist...
Vinay Sachdev, Maria Hybinette, Eileen Kraemer
AMAI
2008
Springer
13 years 9 months ago
Bayesian learning of Bayesian networks with informative priors
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
Nicos Angelopoulos, James Cussens
ENTCS
2008
102views more  ENTCS 2008»
13 years 9 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
GECCO
2011
Springer
274views Optimization» more  GECCO 2011»
13 years 9 days ago
Fuzzy dynamical genetic programming in XCSF
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
Richard Preen, Larry Bull
BMCBI
2006
147views more  BMCBI 2006»
13 years 9 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff