Sciweavers

16666 search results - page 185 / 3334
» Descriptive and Computational Complexity
Sort
View
ICCS
2009
Springer
15 years 11 months ago
Querying for Feature Extraction and Visualization in Climate Modeling
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
C. Ryan Johnson, Markus Glatter, Wesley Kendall, J...
C5
2008
IEEE
15 years 11 months ago
SophieScript - Active Content in Multimedia Documents
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
Jens Lincke, Robert Hirschfeld, Michael Rüger...
BIRTHDAY
2003
Springer
15 years 9 months ago
Important Aspect of Knowledge Management
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
Hermann A. Maurer
IPPS
1998
IEEE
15 years 8 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
SIGGRAPH
1989
ACM
15 years 8 months ago
Ray tracing deterministic 3-D fractals
As shown in 1982, Julia sets of quadratic functions as well as many other deterministic fractals exist in spaces of higher dimensionality than the complex plane. Originally a boun...
John C. Hart, Daniel J. Sandin, Louis H. Kauffman