Sciweavers

1513 search results - page 177 / 303
» A self-describing data transfer model for ITS applications
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
IUI
2006
ACM
16 years 13 days ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
PARA
2004
Springer
15 years 11 months ago
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
Marilton S. de Aguiar, Graçaliz Pereira Dim...
BMCBI
2007
168views more  BMCBI 2007»
15 years 6 months ago
Bayesian model-based inference of transcription factor activity
Background: In many approaches to the inference and modeling of regulatory interactions using microarray data, the expression of the gene coding for the transcription factor is co...
Simon Rogers, Raya Khanin, Mark Girolami
APGV
2007
ACM
124views Visualization» more  APGV 2007»
15 years 10 months ago
A perceptive evaluation of volume rendering techniques
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...
Christian Boucheny, Georges-Pierre Bonneau, Jacque...