819 search results - page 56 / 164 » Using Assumptions to Distribute CTL Model Checking |
106
Voted
TMI
2011
14 years 7 months ago
2011
Abstract—Backbone anatomical structure detection and labeling is a necessary step for various analysis tasks of the vertebral column. Appearance, shape and geometry measurements ...
109
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
128
click to vote
ICML
1999
IEEE
16 years 1 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
98
Voted
IMAGING
2004
15 years 2 months ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...
96
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Recent studies in patch-based Gaussian Mixture Model (GMM) approaches for face age estimation present promising results. We propose using a hidden Markov model (HMM) supervector t...