5671 search results - page 978 / 1135 » A Semantic Approach to Interpolation |
179
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
187
click to vote
ASWC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of designing data wrapping ontologies whose purpose is to describe relational data sources and to provide a semantically enriched access to the un...
156
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
Web archives play an important role in preserving our cultural heritage for future generations. When searching them, a serious problem arises from the fact that terminology evolve...
144
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
174
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a content-based approach for understanding handball videos. Tracked players are characterized by their 2D trajectories in the court plane. The trajectories and...