1086 search results - page 101 / 218 » Knowledge-based part correspondence |
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In semantic web applications where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on on...
LREC
2010
13 years 11 months ago
2010
In this paper we explore the potential and limitations of a concept of building a bilingual valency lexicon based on the alignment of nodes in a parallel treebank. Our aim is to b...
EACL
2003
ACL Anthology
13 years 11 months ago
2003
ACL Anthology
When machine translation (MT) knowledge is automatically constructed from bilingual corpora, redundant rules are acquired due to translation variety. These rules increase ambiguit...
NIPS
2003
13 years 11 months ago
2003
The detection and pose estimation of people in images and video is made challenging by the variability of human appearance, the complexity of natural scenes, and the high dimensio...