1650 search results - page 51 / 330 » The HOM problem is decidable |
119
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
133
click to vote
IJAC
2010
15 years 2 months ago
2010
We show that the following problems are decidable in rank 2 free groups: does a given finitely generated subgroup H contain primitive elements? and does H meet the automorphic or...
150
click to vote
TSP
2010
14 years 10 months ago
2010
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. For wide...
131
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
128
click to vote
COMPUTING
2010
15 years 1 months ago
2010
We design improved approximation algorithms for two variants of the ADM minimization problem. SONET add-drop multiplexers (ADMs) are the dominant cost factor in SONET/WDM rings. T...