3750 search results - page 302 / 750 » Timed Automata Patterns |
130
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
The swap matching problem consists if finding a pattern in a text, while allowing for transpositions in the pattern. A new approach using a graph-theoretic model was presented in [...
112
Voted
CIARP
2008
Springer
15 years 6 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...
144
click to vote
ASUNAM
2010
IEEE
15 years 6 months ago
2010
IEEE
There is substantial interest in the effect of human mobility patterns on opportunistic communications. Inspired by recent work revisiting some of the early evidence for a L
118
click to vote
ENTCS
2010
15 years 5 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
174
click to vote
BCB
2010
14 years 12 months ago
2010
As a metabolic network reaches from a state to a steady state, a subset of its fluxes gradually change. The sequence of intermediate states, called the dynamic state, shows the pa...