9067 search results - page 291 / 1814 » Adaptive Model Checking |
198
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Probabilistic modelling of text data in the bagof-words representation has been dominated by directed graphical models such as pLSI, LDA, NMF, and discrete PCA. Recently, state of...
203
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
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...
170
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
226
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Active Shape Models (ASM) have proven to be an effective approach for image segmentation. In some applications, however, the linear model of gray level appearance around a contour ...
179
click to vote
PRICAI
2004
Springer
16 years 47 min ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...