Sciweavers

1186 search results - page 27 / 238
» Progressive Modeling
Sort
View
AIEDU
2007
101views more  AIEDU 2007»
13 years 8 months ago
Evaluating the Effect of Open Student Models on Self-Assessment
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
Antonija Mitrovic, Brent Martin
ADAEUROPE
2006
Springer
14 years 2 months ago
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
Stefan Wagner, Helmut Fischer
IPPS
2007
IEEE
14 years 3 months ago
ParalleX: A Study of A New Parallel Computation Model
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...
Guang R. Gao, Thomas L. Sterling, Rick Stevens, Ma...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
14 years 10 months ago
Quick-VDR: Interactive View-Dependent Rendering of Massive Models
We present a novel approach for interactive view-dependent rendering of massive models. Our algorithm combines view-dependent simplification, occlusion culling, and out-of-core re...
Sung-Eui Yoon, Brian Salomon, Russell Gayle, Dines...