Sciweavers

1813 search results - page 213 / 363
» Instance Pruning Techniques
Sort
View
GECCO
2000
Springer
150views Optimization» more  GECCO 2000»
15 years 10 months ago
A Hybrid Genetic Algorithm for the Quadratic Assignment Problem
A heuristic technique that combines a genetic algorithm with a Tabu Search algorithm is applied to the Quadratic Assignment Problem (QAP). The hybrid algorithm improves the result...
Manuel Vázquez, L. Darrell Whitley
MABS
2000
Springer
15 years 10 months ago
Multi Agent Based Simulation: Beyond Social Simulation
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
Paul Davidsson
CSL
1995
Springer
15 years 10 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
ICPR
2010
IEEE
15 years 9 months ago
A Bi-Modal Handwritten Text Corpus: Baseline Results
Handwritten text is generally captured through two main modalities: off-line and on-line. Smart approaches to handwritten text recognition (HTR) may take advantage of both modalit...
Moises Pastor, Alejandro Héctor Toselli, Francisc...
USS
2008
15 years 8 months ago
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security
We explore the problem of secret-key distribution in unidirectional channels, those in which a sender transmits information blindly to a receiver. We consider two approaches: (1) ...
Ari Juels, Ravikanth Pappu, Bryan Parno