Sciweavers

41938 search results - page 444 / 8388
» Complex Systems Modeling
Sort
View
190
Voted
STTT
2011
195views more  STTT 2011»
15 years 1 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
ICCCN
2008
IEEE
16 years 1 months ago
Modeling and Adapting JPEG to the Energy Requirements of VSN
—We address the problem of modeling and adapting JPEG to the energy requirements of Visual Sensor Networks (VSN). For JPEG modeling purposes, we develop a simplified high-level ...
Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Br...
162
Voted
ICPR
2008
IEEE
16 years 1 months ago
Real-time update of 3D deformable models for computer aided liver surgery
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
Benoît Dagon, Charles Baur, Vincent Bettscha...
167
Voted
IUI
2006
ACM
16 years 23 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
IE
2007
15 years 8 months ago
Two families: dynamical policy models in interactive storytelling
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...
Fabio Zambetta, Adam Nash, Paul Smith