Sciweavers

14190 search results - page 136 / 2838
» Abstractions for hybrid systems
Sort
View
GECCO
2005
Springer
197views Optimization» more  GECCO 2005»
15 years 12 months ago
Breeding swarms: a GA/PSO hybrid
Abstract. In this paper we propose a novel hybrid (GA/PSO) algorithm, Breeding Swarm, combining the strengths of particle swarm optimization with genetic algorithms. The hybrid alg...
Matthew Settles, Terence Soule
GECCO
2004
Springer
103views Optimization» more  GECCO 2004»
15 years 12 months ago
Training Neural Networks with GA Hybrid Algorithms
Abstract. Training neural networks is a complex task of great importance in the supervised learning field of research. In this work we tackle this problem with five algorithms, a...
Enrique Alba, J. Francisco Chicano
COMMA
2008
15 years 8 months ago
Hybrid argumentation and its properties
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
Dorian Gaertner, Francesca Toni
ACS
2006
15 years 6 months ago
Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems
cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006
George Voutsadakis
ISCA
2008
IEEE
165views Hardware» more  ISCA 2008»
16 years 26 days ago
Using Hardware Memory Protection to Build a High-Performance, Strongly-Atomic Hybrid Transactional Memory
We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory system (STM) can be m...
Lee Baugh, Naveen Neelakantam, Craig B. Zilles