3082 search results - page 463 / 617 » Deviation Analysis: A New Use of Model Checking |
193
click to vote
PKDD
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Gaussian processes have successfully been used to learn preferences among entities as they provide nonparametric Bayesian approaches for model selection and probabilistic...
162
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
The hidden Markov field (HMF) model has been used in many model-based solutions to image analysis problems, including that of image segmentation, and generally gives satisfying re...
172
click to vote
HAPTICS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
156
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
166
click to vote
ICIAP
1999
ACM
15 years 10 months ago
1999
ACM
In this work we propose a new supervised deformable model that generalizes the classical contour-based snake. This model is defined to deform in a feature space generated by a se...