48 search results - page 7 / 10 » Toward Formalizing a Validation Methodology Using Simulation... |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
WSC
2000
13 years 10 months ago
2000
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
ALGOSENSORS
2004
Springer
14 years 9 days ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper describes a general approach for the unsupervised learning of behaviors in a behavior-based robot. The key idea is to formalize a behavior produced by a Motor Map dr...