Sciweavers

481 search results - page 61 / 97
» Acceleration of behavioral simulation on simulation specific...
Sort
View
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
15 years 27 days ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
TVLSI
2008
151views more  TVLSI 2008»
14 years 11 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
VIS
2004
IEEE
93views Visualization» more  VIS 2004»
16 years 1 months ago
Investigating Swirl and Tumble Flow with a Comparison of Visualization Techniques
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
Robert S. Laramee, Daniel Weiskopf, Jürgen Sc...
IADIS
2004
15 years 1 months ago
A New Performance Evaluation Technique for Web Information Retrieval Systems
The performance evaluation of an information retrieval system is a decisive aspect for the measure of the improvements in search technology. Our work intends to provide a framewor...
Fidel Cacheda, Francisco Puentes, Victor Carneiro
AAMAS
2008
Springer
14 years 12 months ago
Anticipation based on constraint processing in a multi-agent context
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
Arnaud Doniec, René Mandiau, Sylvain Piecho...