4341 search results - page 541 / 869 » Quantitative Model checking |
155
click to vote
ISVC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A general framework for image segmentation is presented in this paper, based on the paradigm of water flow. The major water flow attributes like water pressure, surface t...
160
click to vote
ICDM
2006
IEEE
16 years 22 days ago
2006
IEEE
There is a need to develop methods to automatically incorporate prior knowledge to support the prediction and validation of novel functional associations. One such important sourc...
162
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper, we propose an original framework for three dimensional face representation and matching for identification purposes. Basic traits of a face are encoded by extracti...
236
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...
162
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...