Sciweavers

3406 search results - page 352 / 682
» Computational models of classical conditioning
Sort
View
LOPSTR
1994
Springer
15 years 10 months ago
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
Annalisa Bossi, Sandro Etalle
WSC
2004
15 years 8 months ago
Data Dissemination Techniques for Distributed Simulation Environments
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
Bryan Horling, Victor R. Lesser
IJKESDP
2010
94views more  IJKESDP 2010»
15 years 4 months ago
Rule acquisition for cognitive agents by using estimation of distribution algorithms
Cognitive Agents must be able to decide their actions based on their recognized states. In general, learning mechanisms are equipped for such agents in order to realize intellgent ...
Tokue Nishimura, Hisashi Handa
DAGM
2011
Springer
14 years 6 months ago
Putting MAP Back on the Map
Conditional Random Fields (CRFs) are popular models in computer vision for solving labeling problems such as image denoising. This paper tackles the rarely addressed but important ...
Patrick Pletscher, Sebastian Nowozin, Pushmeet Koh...
AB
2007
Springer
16 years 26 days ago
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
Venkatesh Mysore, Bud Mishra