2031 search results - page 356 / 407 » On Tree-Constrained Matchings and Generalizations |
PLDI
2011
ACM
13 years 23 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
SEMWEB
2011
Springer
13 years 22 days ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
CIKM
2011
Springer
12 years 10 months ago
2011
Springer
Large knowledge bases consisting of entities and relationships between them have become vital sources of information for many applications. Most of these knowledge bases adopt the...
DAC
2011
ACM
12 years 9 months ago
2011
ACM
In this paper, a new sparse approximation technique is proposed for incremental power grid analysis. Our proposed method is motivated by the observation that when a power grid net...
ICPR
2000
IEEE
14 years 11 months ago
2000
IEEE
Amethod for quick determination of the position and pose of a 3D free-form object with respect to its 2D projective image(s) is proposed. It is a precondition of the method that a...