Sciweavers

3619 search results - page 282 / 724
» Humor modeling in the interface
Sort
View
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 6 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
KBS
2007
103views more  KBS 2007»
15 years 6 months ago
Eye-tracking for user modeling in exploratory learning environments: An empirical evaluation
In this paper, we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during interaction with an environment for exploration-based ...
Cristina Conati, Christina Merten
AC
1998
Springer
15 years 6 months ago
Coordination Models and Languages
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
George A. Papadopoulos, Farhad Arbab
TOG
2002
114views more  TOG 2002»
15 years 6 months ago
A procedural approach to authoring solid models
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
Barbara Cutler, Julie Dorsey, Leonard McMillan, Ma...
CHI
2007
ACM
16 years 7 months ago
Modeling and understanding students' off-task behavior in intelligent tutoring systems
We present a machine-learned model that can automatically detect when a student using an intelligent tutoring system is off-task, i.e., engaged in behavior which does not involve ...
Ryan Shaun Joazeiro de Baker