2115 search results - page 170 / 423 » Semantic structure from motion |
182
click to vote
MTV
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
156
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
176
click to vote
COLING
1996
15 years 7 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
167
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Information sharing can be effective with structured data. The Semantic Web is mainly aimed at structuring information by creating widely accepted ontologies. However, users have ...