Sciweavers

4099 search results - page 710 / 820
» A Framework for Interactive Proof
Sort
View
HICSS
2003
IEEE
142views Biometrics» more  HICSS 2003»
15 years 9 months ago
Evolution of a Knowledge Focused Computer Supported Learning System by Ensuring Extensibility through Generalization and Replica
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...
David White, Lesley A. Gardner, Don Sheridan
164
Voted
STEP
2003
IEEE
15 years 9 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
VISUALIZATION
2003
IEEE
15 years 9 months ago
Planet-Sized Batched Dynamic Adaptive Meshes (P-BDAM)
We describe an efficient technique for out-of-core management and interactive rendering of planet sized textured terrain surfaces. The technique, called P-Batched Dynamic Adaptiv...
Paolo Cignoni, Fabio Ganovelli, Enrico Gobbetti, F...
SIGGRAPH
2003
ACM
15 years 9 months ago
TensorTextures
This paper introduces a tensor framework for image-based rendering. In particular, we develop an algorithm called TensorTextures that learns a parsimonious model of the bidirectio...
M. Alex O. Vasilescu, Demetri Terzopoulos
146
Voted
SIGIR
2003
ACM
15 years 9 months ago
Quantitative evaluation of passage retrieval algorithms for question answering
Passage retrieval is an important component common to many question answering systems. Because most evaluations of question answering systems focus on end-to-end performance, comp...
Stefanie Tellex, Boris Katz, Jimmy J. Lin, Aaron F...