Sciweavers

EUROCAST
2009
Springer
153views Hardware» more  EUROCAST 2009»
13 years 2 months ago
Algorithm for Testing the Leibniz Algebra Structure
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
José Manuel Casas, Manuel A. Insua, Manuel ...
EUROCAST
2009
Springer
116views Hardware» more  EUROCAST 2009»
13 years 8 months ago
Complete Sets of Hamiltonian Circuits for Classification of Documents
The calculation of Hamiltonian Circuits is an NP-complete task. This paper uses slightly modified complete sets of Hamiltonian circuits for the classification of documents. The sol...
Bernd Steinbach, Christian Posthoff
EUROCAST
2009
Springer
179views Hardware» more  EUROCAST 2009»
13 years 11 months ago
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem
In this paper we present new local search algorithms for the Probabilistic Traveling Salesman Problem (PTSP) using sampling and ad-hoc approximation. These algorithms improve both...
Dennis Weyland, Leonora Bianchi, Luca Maria Gambar...
EUROCAST
2009
Springer
132views Hardware» more  EUROCAST 2009»
13 years 11 months ago
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
Cyrille Artho
EUROCAST
2009
Springer
126views Hardware» more  EUROCAST 2009»
13 years 11 months ago
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles
Abstract. In Computational Neuroscience, mathematical and computational modeling are differentiated. In this paper, both kinds of modeling are considered. In particular, modeling ...
Andreas Schierwagen
EUROCAST
2009
Springer
134views Hardware» more  EUROCAST 2009»
13 years 11 months ago
Debugging and Verification of Multi-Agent Systems
Clara Benac Earle, Lars-Åke Fredlund
EUROCAST
2009
Springer
143views Hardware» more  EUROCAST 2009»
13 years 11 months ago
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms
Abstract. In this work we consider the application of metaheuristic algorithms to the problem of fitting rectangular signals to time-data series. The application background is to ...
Andreas M. Chwatal, Günther R. Raidl