524 search results - page 62 / 105 » Temporal reachability graphs |
138
Voted
FORMATS
2008
Springer
15 years 5 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...
135
Voted
ICASSP
2011
IEEE
14 years 7 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...
121
Voted
ICIP
2007
IEEE
16 years 5 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...
111
Voted
SIBGRAPI
2007
IEEE
15 years 10 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...
155
Voted
CC
2001
Springer
15 years 8 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...