575 search results - page 32 / 115 » Model Checking Restricted Sets of Timed Paths |
104
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approa...
DAGM
2010
Springer
15 years 28 days ago
2010
Springer
We propose a new approach for integrating geometric scene knowledge into a level-set tracking framework. Our approach is based on a novel constrained-homography transformation mode...
188
click to vote
AMW
2011
14 years 3 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
102
click to vote
ISCC
2005
IEEE
15 years 5 months ago
2005
IEEE
The paper presents a novel protection methodology for setting protected paths in a multiservice GMPLSbased network scenario. By applying the proposed methods, label switched paths...
143
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...