Sciweavers

238 search results - page 21 / 48
» replication 2010
Sort
View
CEC
2010
IEEE
14 years 10 months ago
Comparison of GA and PSO performance in parameter estimation of microbial growth models: A case-study using experimental data
In this work we examined the performance of two evolutionary algorithms, a genetic algorithm (GA) and particle swarm optimization (PSO), in the estimation of the parameters of a mo...
Dulce Calcada, Agostinho Rosa, Luis C. Duarte, Vit...
COGSCI
2010
107views more  COGSCI 2010»
15 years 16 days ago
Inferring Hidden Causal Structure
We used a new method to assess how people can infer unobserved causal structure from patterns of observed events. Participants were taught to draw causal graphs, and then shown a ...
Tamar Kushnir, Alison Gopnik, Chris Lucas, Laura S...
94
Voted
DPD
2006
144views more  DPD 2006»
15 years 13 days ago
Integration of transient Web services into a virtual peer to peer Web service registry
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
Schahram Dustdar, Martin Treiber
88
Voted
ENTCS
2006
114views more  ENTCS 2006»
15 years 13 days ago
Run-Time Checking of Dynamic Properties
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
104
Voted
ENTCS
2006
130views more  ENTCS 2006»
15 years 13 days ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal