524 search results - page 62 / 105 » Temporal reachability graphs |
FORMATS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, we present a model for unsupervised pattern discovery using non-negative matrix factorization (NMF) with graph regularization. Though the regularization can be appl...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
Film Tear is a form of degradation in archived film and is the physical ripping of the film material. Tear causes displacement of a region of the degraded frame and the loss of im...
SIBGRAPI
2007
IEEE
14 years 4 months ago
2007
IEEE
Video clip localization consists in identifying real positions of a specific video clip in a video stream. To cope with this problem, we propose a new approach considering the ma...
CC
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...