Sciweavers

2091 search results - page 260 / 419
» Time, Relevance and Interaction Modelling for Information Re...
Sort
View
AH
2008
Springer
14 years 2 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
BRAIN
2010
Springer
13 years 7 months ago
Sparse Regression Models of Pain Perception
Discovering brain mechanisms underlying pain perception remains a challenging neuroscientific problem with important practical applications, such as developing better treatments f...
Irina Rish, Guillermo A. Cecchi, Marwan N. Baliki,...
ISSTA
2009
ACM
14 years 29 days ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ICDM
2009
IEEE
152views Data Mining» more  ICDM 2009»
13 years 6 months ago
A Sparsification Approach for Temporal Graphical Model Decomposition
Temporal causal modeling can be used to recover the causal structure among a group of relevant time series variables. Several methods have been developed to explicitly construct te...
Ning Ruan, Ruoming Jin, Victor E. Lee, Kun Huang
EXPERT
2002
129views more  EXPERT 2002»
13 years 8 months ago
Modeling and Simulating Work Practice: A Method for Work Systems Design
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
Maarten Sierhuis, William J. Clancey