4745 search results - page 614 / 949 » Discretization: An Enabling Technique |
209
click to vote
LSSC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Air pollution models can efficiently be used in different environmental studies. The atmosphere is the most dynamic component of the environment, where the pollutants ca...
166
Voted
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Surface elements (surfels) are a powerful paradigm to efficiently render complex geometric objects at interactive frame rates. Unlike classical surface discretizations, i.e., tri...
204
Voted
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
156
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
The use of double-buffered displays, in which the previous image is displayed until the next image is complete, can impair the interactivity of systems that require tight coupling...
195
Voted
STOC
1993
ACM
15 years 11 months ago
1993
ACM
Abstract. The subject of this paper is nding small sample spaces for joint distributions of n discrete random variables. Such distributions are often only required to obey a certa...