659 search results - page 59 / 132 » Binding as sets of scopes |
116
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
102
Voted
COSIT
2001
Springer
15 years 5 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
114
Voted
VISUALIZATION
2000
IEEE
15 years 5 months ago
2000
IEEE
Multiresolution methods are becoming increasingly important tools for the interactive visualization of very large data sets. Multiresolution isosurface visualization allows the us...
110
Voted
CGI
1998
IEEE
15 years 4 months ago
1998
IEEE
In the scope of rendering complex models with high depth complexity, it is of great importance to design outputsensitive algorithms, i.e., algorithms with the time complexity prop...
121
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...