5634 search results - page 452 / 1127 » About Abstract Classes |
177
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
172
click to vote
HYBRID
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
178
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
155
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
162
click to vote
ICANN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...