886 search results - page 130 / 178 » Reasoning with contextual graphs |
128
click to vote
ICASSP
2009
IEEE
16 years 28 days ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
156
click to vote
ECSQARU
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
144
click to vote
QUACON
2009
Springer
16 years 22 days ago
2009
Springer
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
161
click to vote
CONCUR
2007
Springer
16 years 11 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
175
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...