1981 search results - page 82 / 397 » Model-Checking Hierarchical Structures |
127
click to vote
CGA
2004
15 years 3 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...
139
click to vote
TCSV
2010
14 years 10 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...
102
click to vote
ISMVL
2007
IEEE
15 years 9 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...
122
click to vote
MTA
2002
15 years 2 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...
107
click to vote
DAC
2003
ACM
16 years 4 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...