Sciweavers

3022 search results - page 162 / 605
» Make Way for WayMaker
Sort
View
CSL
2009
Springer
15 years 10 months ago
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Abstract. For deterministic tree automata, classical hierarchies, like MostowskiRabin (or index) hierarchy, Borel hierarchy, or Wadge hierarchy, are known to be decidable. However,...
Jacques Duparc, Alessandro Facchini, Filip Murlak
ERCIMDL
2009
Springer
198views Education» more  ERCIMDL 2009»
15 years 10 months ago
Adding Quality-Awareness to Evaluate Migration Web-Services and Remote Emulation for Digital Preservation
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
Christoph Becker, Hannes Kulovits, Michael Kraxner...
ESAW
2009
Springer
15 years 10 months ago
PreSage-MS: Metric Spaces in PreSage
Abstract. We consider adaptation in open systems, i.e. systems without global objects or common objectives. There are three related issues: how to make the degrees of freedom (DoFs...
Hugo Carr, Alexander Artikis, Jeremy Pitt
GCB
2009
Springer
481views Biometrics» more  GCB 2009»
15 years 10 months ago
CUDA-based Multi-core Implementation of MDS-based Bioinformatics Algorithms
: Solving problems in bioinformatics often needs extensive computational power. Current trends in processor architecture, especially massive multi-core processors for graphic cards...
Thilo Fester, Falk Schreiber, Marc Strickert
ICANN
2009
Springer
15 years 10 months ago
Algorithms for Structural and Dynamical Polychronous Groups Detection
Polychronization has been proposed as a possible way to investigate the notion of cell assemblies and to understand their role as memory supports for information coding. In a spiki...
Régis Martinez, Hélène Paugam...