1981 search results - page 82 / 397 » Model-Checking Hierarchical Structures |
CGA
2004
13 years 10 months ago
2004
Point-based rendering is a compact and efficient means of displaying complex geometry. Our goal is to enable flexible point-based rendering, permitting local image refinement, req...
TCSV
2010
13 years 4 months ago
2010
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
ISMVL
2007
IEEE
14 years 4 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
MTA
2002
13 years 9 months ago
2002
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
We present a tool suite for building, simulating, and analyzing the results of hierarchical descriptions of the scheduling policy for modules sharing a bus in real-time applicatio...