165
click to vote
CIARP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...
208
Voted
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
249
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
158
click to vote
CIARP
2008
Springer
15 years 9 months ago
2008
Springer
This report1 considers 2-regions of grid cubes and proposes an algorithm for calculating the number of tunnels of such a region. The graph-theoretical algorithm proceeds layer by l...
193
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
We present a tool for the analysis of fault-tolerance in packet-switched communication networks. Network elements like links or routers can fail or unexpected traffic surges may o...