Sciweavers

4836 search results - page 375 / 968
» Exploring the Similarity Space
Sort
View
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 11 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 11 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
EMO
2006
Springer
173views Optimization» more  EMO 2006»
15 years 11 months ago
Differential Evolution versus Genetic Algorithms in Multiobjective Optimization
This paper presents a comprehensive comparison between the performance of state-of-the-art genetic algorithms NSGA-II, SPEA2 and IBEA and their differential evolution based variant...
Tea Tusar, Bogdan Filipic
AISB
1995
Springer
15 years 11 months ago
An Evolutionary Algorithm for Parametric Array Signal Processing
This paper presents an evolutionary algorithm for solving parameter optimization problems in parametric array signal processing. The method utilises the niche concept to maintain a...
Dekun Yang, Stuart J. Flockton
AAAI
2007
15 years 10 months ago
Extending Cognitive Architecture with Episodic Memory
In this paper, we explore the hypothesis that episodic memory is a critical component for cognitive architectures that support general intelligence. Episodic memory overlaps with ...
Andrew Nuxoll, John E. Laird