4287 search results - page 162 / 858 » Minimal Mental Models |
MICCAI
2001
Springer
14 years 3 months ago
2001
Springer
Extended Abstract: We are exploring new techniques for active contour models (popularly known as “snakes”[1]) by combining active segmentation models with the constrained impli...
SPLC
2008
14 years 2 days ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
JAIR
2008
13 years 10 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
ICCSA
2009
Springer
14 years 5 months ago
2009
Springer
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
ER
2008
Springer
14 years 12 days ago
2008
Springer
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...