42738 search results - page 8185 / 8548 » Search Computing Systems |
135
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
In the area of scientific visualization, input data sets are often very large. In visualization of Computational Fluid Dynamics (CFD) in particular, input data sets today can surp...
134
click to vote
IUI
1997
ACM
15 years 8 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...
127
click to vote
STOC
1997
ACM
15 years 8 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
143
click to vote
PLILP
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
130
click to vote
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...