9067 search results - page 1741 / 1814 » Adaptive Model Checking |
182
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we introduce the Progressive Forest Split (PFS) representation, a new adaptive refinement scheme for storing and transmitting manifold triangular meshes in progress...
136
click to vote
MM
1997
ACM
15 years 10 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
165
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: The advent of computer augmented reality (CAR), in which computer generated objects mix with real video images, has resulted in many interesting new application domains. Providin...
143
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
In this work, we design a method for creating public key broadcast encryption systems. Our main technical innovation is based on a new “two equation” technique for revoking us...
168
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, cognitive transmission under quality of service (QoS) constraints is studied. In the cognitive radio channel model, it is assumed that the secondary transmitter sen...