2583 search results - page 42 / 517 » On the Representation of Timed Polyhedra |
PR
2000
2000
A region-level motion-based graph representation and labeling for tracking a spatial image partition
13 years 8 months ago
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
SPIRE
2010
Springer
13 years 7 months ago
2010
Springer
The rank and select operations over a string of length n from an alphabet of size σ have been used widely in the design of succinct data structures. In many applications, the stri...
TASLP
2010
13 years 3 months ago
2010
Indexing audio signals directly in the transform domain can potentially save a significant amount of computation when working on a large database of signals stored in a lossy compr...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
COCOON
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Hierarchical graphs are an important class of graphs for modelling many real applications in software and information visualization. In this paper, we shall investigate t...