Sciweavers

5284 search results - page 609 / 1057
» Ontologizing Semantic Relations
Sort
View
CVPR
2005
IEEE
16 years 9 months ago
Identifying Semantically Equivalent Object Fragments
We describe a novel technique for identifying semantically equivalent parts in images belonging to the same object class, (e.g. eyes, license plates, aircraft wings etc.). The vis...
Boris Epshtein, Shimon Ullman
CRV
2009
IEEE
158views Robotics» more  CRV 2009»
16 years 1 months ago
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
Pooja Viswanathan, David Meger, Tristram Southey, ...
PPDP
2007
Springer
16 years 1 months ago
Formalizing and verifying semantic type soundness of a simple compiler
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
Nick Benton, Uri Zarfaty
IEAAIE
2003
Springer
16 years 4 days ago
Applying Semantic Links for Classifying Web Pages
Automatic hypertext classification is an essential technique for organizing vast amount of Internet Web pages or HTML documents. One the of problems in classifying Web pages is tha...
Ben Choi, Qing Guo
PODS
2010
ACM
249views Database» more  PODS 2010»
16 years 17 hour ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...