27756 search results - page 5120 / 5552 » Process Query Systems |
147
click to vote
WDAG
1999
Springer
15 years 9 months ago
1999
Springer
This short paper establishes lower bounds on the time complexity of algorithms solving the generic broadcast problem. The paper shows that (a) to deliver messages in one round, no...
143
click to vote
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents efficient image-based rendering techniques used in the context of an architectural walkthrough system. Portals (doors and windows) are rendered by warping laye...
129
click to vote
HT
1998
ACM
15 years 9 months ago
1998
ACM
A general link service for the WWW has been used within an Electronic Libraries’ project. Experience using it shows that as the links become increasingly interesting to the user...
155
Voted
CAV
1998
Springer
15 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
164
click to vote
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
In this paper we develop a computational model of adaptation and spatial vision for realistic tone reproduction. The model is based on a multiscale representation of pattern, lumi...