8555 search results - page 1405 / 1711 » Property Based Coordination |
198
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...
227
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
Visual markers are widely used in existing augmented reality (AR) applications [7, 12, 11, 19]. In most of such applications, the performance of an AR system depends highly on the...
209
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
209
Voted
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
Densely-sampled image representations such as the light field or Lumigraph have been effective in enabling photorealistic image synthesis. Unfortunately, lighting interpolation w...
201
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose the use of textured splats as the basic display primitives for an open surface fire model. The high-detail textures help to achieve a smooth boundary of the fire and ...