269 search results - page 31 / 54 » Computational soundness of observational equivalence |
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
Prior work has argued that when a Lambertian surface in fixed pose is observed in multiple images under varying distant illumination, there is an equivalence class of surfaces giv...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
We study the domain of dominant competence of six popular classifiers in a space of data complexity measurements. We observe that the simplest classifiers, nearest neighbor and li...
ICPR
2002
IEEE
14 years 1 months ago
2002
IEEE
Two novel computational techniques, harmonic cut and regularized centroid transform, are developed for segmentation of cells and their corresponding substructures observed with an...
ICDCSW
2000
IEEE
14 years 2 days ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
TCS
2002
13 years 8 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...