2696 search results - page 192 / 540 » Semantic Abstraction and Anaphora |
184
click to vote
SIVP
2008
15 years 6 months ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
194
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
191
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
176
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
148
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...