129 search results - page 16 / 26 » 06172 Abstracts Collection -- Directed Model Checking |
WELCOM
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...
PKDD
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...
108
click to vote
TMI
2010
14 years 8 months ago
2010
Abstract—We propose a probabilistic model for analyzing spatial activation patterns in multiple functional magnetic resonance imaging (fMRI) activation images such as repeated ob...
SEAFOOD
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. To determine the magnitude of risk factors in offshore software development, we explain how structural equation modeling works for questionnaire samples. Each response to...
79
Voted
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Cornea surgeons have observed that changes in cornea curvature can follow cataract surgery and cause astigmatism. The placement of surgical incisions has been shown to in...