384 search results - page 45 / 77 » Equivalence Relations on Classes of Computable Structures |
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Conventional rigid structure from motion (SFM) addresses the problem of recovering the camera parameters (motion) and the 3D locations (structure) of scene points, given observed ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Generalized Belief Propagation (gbp) has proven to be a promising technique for performing inference on Markov random fields (mrfs). However, its heavy computational cost and large...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
ER
2006
Springer
13 years 11 months ago
2006
Springer
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...