Sciweavers

3914 search results - page 217 / 783
» Automating SLA modeling
Sort
View
ECSQARU
2003
Springer
14 years 1 months ago
Applications of Latent Class Analysis in Social Science Research
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
Jeroen K. Vermunt
GI
2009
Springer
13 years 6 months ago
An Evolutionary Strategy for Model-based Segmentation of Medical Data
: Medical image segmentation often involves variants of deformable models to account for both the variability of object shapes and variation in image quality. Segmentation quality,...
Karin Engel, Klaus D. Toennies
MICCAI
2007
Springer
14 years 9 months ago
Statistical Shape Modeling Using MDL Incorporating Shape, Appearance, and Expert Knowledge
Abstract. We propose a highly automated approach to the point correspondence problem for anatomical shapes in medical images. Manual landmarking is performed on a small subset of t...
Aaron D. Ward, Ghassan Hamarneh
CADE
2008
Springer
14 years 8 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
ICIP
2007
IEEE
14 years 2 months ago
Motion Detection using a Model of Visual Attention
Motion detection and estimation are known to be important in many automated surveillance systems. It has drawn significant research interest in the field of computer vision. This ...
Shijie Zhang, Fred Stentiford