Sciweavers

2115 search results - page 207 / 423
» Semantic structure from motion
Sort
View
FOSSACS
2008
Springer
15 years 8 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
LREC
2010
144views Education» more  LREC 2010»
15 years 8 months ago
Evaluating Complex Semantic Artifacts
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
Christopher R. Walker, Hannah Copperman
KRDB
1998
83views Database» more  KRDB 1998»
15 years 8 months ago
Semantic Query Optimisation and Rule Graphs
Previous researchers note the problem for semantic optimisation of database queries caused by its production of a large number of semantically equivalent alternative queries, from...
Jerome Robinson, Barry G. T. Lowden
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno
CIKM
2010
Springer
15 years 5 months ago
Visual-semantic graphs: using queries to reduce the semantic gap in web image retrieval
We explore the application of a graph representation to model similarity relationships that exist among images found on the Web. The resulting similarity-induced graph allows us t...
Barbara Poblete, Benjamin Bustos, Marcelo Mendoza,...