4872 search results - page 350 / 975 » CBR for Modeling Complex Systems |
185
click to vote
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
185
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
202
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—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 ...
159
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
163
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
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...