CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we present novel algorithmic solutions for several resource processing and data transfer multicriteria optimization problems. The results of most of the presented tec...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Inter-symbol interference (ISI) channels with data dependent Gauss Markov noise have been used to model read channels in magnetic recording and other data storage systems. The Vite...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
l invaders in the form of pathogens. In this research, and abstract model of DC behaviour is developed and subsequently used to form an algorithm, the DCA. The abstraction process ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper is concerned with designing self-driven fitness functions for Embedded Evolutionary Robotics. The proposed approach considers the entropy of the sensori-motor stream gen...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present a generic API suitable for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures. The p...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...