Sciweavers

4767 search results - page 587 / 954
» Structures for Abstract Rewriting
Sort
View
AMAST
2006
Springer
15 years 10 months ago
The Substitution Vanishes
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
Armin Kühnemann, Andreas Maletti
ANTSW
2006
Springer
15 years 10 months ago
Applying Aspects of Multi-robot Search to Particle Swarm Optimization
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...
Jim Pugh, Loïc Segapelli, Alcherio Martinoli
AOSE
2006
Springer
15 years 10 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CICLING
2004
Springer
15 years 10 months ago
Language-Independent Methods for Compiling Monolingual Lexical Data
Abstract: In this paper we describe a flexible, portable and languageindependent infrastructure for setting up large monolingual language corpora. The approach is based on collecti...
Christian Biemann, Stefan Bordag, Gerhard Heyer, U...
DAGM
2004
Springer
15 years 10 months ago
Efficient Face Detection by a Cascaded Support Vector Machine Using Haar-Like Features
Abstract. In this paper, we present a novel method for reducing the computational complexity of a Support Vector Machine (SVM) classifier without significant loss of accuracy. We a...
Matthias Rätsch, Sami Romdhani, Thomas Vetter