1194 search results - page 181 / 239 » Adaptive Multimedia Presentation Strategies |
136
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
133
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes a parallel rendering method based on the adaptive supersampling technique to produce anti-aliased images with minimal memory consumption. Unlike traditional s...
126
click to vote
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
134
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a novel dynamically reconfigurable hardware architecture for lossless compression and its optimization for space imagery. The proposed system makes us...
124
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper analyzes the entrants to the 2007 TAC Market Design competition. It presents a classification of the entries to the competition, and uses this classification to compare...