Sciweavers

3468 search results - page 176 / 694
» Solid and physical modeling
Sort
View
AAAI
1998
15 years 5 months ago
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
Abigail S. Gertner, Cristina Conati, Kurt VanLehn
APIN
2006
65views more  APIN 2006»
15 years 4 months ago
Granularity and disaggregation in compositional modelling with applications to ecological systems
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
Jeroen Keppens, Qiang Shen
POPL
2009
ACM
16 years 5 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...
SMI
2008
IEEE
255views Image Analysis» more  SMI 2008»
15 years 11 months ago
GPU-accelerated surface denoising and morphing with lattice Boltzmann scheme
In this paper, we introduce a parallel numerical scheme, the lattice Boltzmann method, to shape modeling applications. The motivation of using this originally-designed fluid dyna...
Ye Zhao
SMA
2003
ACM
115views Solid Modeling» more  SMA 2003»
15 years 9 months ago
Estimating the in/out function of a surface represented by points
We present a method to estimate the in/out function of a closed surface represented by an unorganized set of data points. From the in/out function, we compute an approximation of ...
Vinícius Mello, Luiz Velho, Gabriel Taubin