EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
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...
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
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 ...
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. In Computational Neuroscience, mathematical and computational modeling are differentiated. In this paper, both kinds of modeling are considered. In particular, modeling ...
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
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 ...
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
The bounded diameter minimum spanning tree problem is an NP-hard combinatorial optimization problem arising in particular in network design. There exist various exact and metaheuri...
EUROCAST
2009
Springer
14 years 7 months ago
2009
Springer
ECMDAFA
2009
Springer
14 years 7 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...