242 search results - page 7 / 49 » A SAT-Based Algorithm for Context Matching |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
AINA
2008
IEEE
14 years 1 months ago
2008
IEEE
We introduce a method for comparing protein structures using the notion of residue contexts based on protein Cα-atom backbones. The residue context is derived from the set of vec...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
JSS
2007
13 years 7 months ago
2007
A control flow trace captures the complete sequence of dynamically executed basic blocks and function calls. It is usually of very large size and therefore commonly stored in com...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper, we investigate the effect of substantial inter-image intensity changes and changes in modality on the performance of keypoint detection, description, and matching a...