4352 search results - page 789 / 871 » A Representation Theorem and Applications |
94
Voted
MOVEP
2000
15 years 4 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
115
click to vote
PADL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
108
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
114
click to vote
VISUALIZATION
1995
IEEE
15 years 4 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
139
Voted
AFRIGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
Interpolation based on Radial Basis Functions (RBF) is very often used for scattered scalar data interpolation in n-dimensional space in general. RBFs are used for surface reconst...