Sciweavers

2250 search results - page 351 / 450
» Interactive Explanation of Software Systems
Sort
View
WISE
2002
Springer
14 years 2 months ago
An XML Specification Language to Support a Virtual Marketplace of Data Mining E-Services
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
Shonali Krishnaswamy, E. P. See, J. N. Ho, W. Guna...
RT
2001
Springer
14 years 2 months ago
A Perceptually-Based Texture Caching Algorithm for Hardware-Based Rendering
: The performance of hardware-based interactive rendering systems is often constrained by polygon fill rates and texture map capacity, rather than polygon count alone. We present a...
Reynald Dumont, Fabio Pellacini, James A. Ferwerda
VL
1996
IEEE
14 years 1 months ago
Steering programs via time travel
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
John W. Atwood Jr., Margaret M. Burnett, Rebecca A...
VL
1996
IEEE
157views Visual Languages» more  VL 1996»
14 years 1 months ago
Visualizing Program Executions on Large Data Sets
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
John T. Stasko, Jeyakumar Muthukumarasamy
CIE
2006
Springer
14 years 1 months ago
Coinductive Proofs for Basic Real Computation
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
Tie Hou