886 search results - page 130 / 178 » Reasoning with contextual graphs |
100
Voted
ICASSP
2009
IEEE
15 years 10 months 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...
135
Voted
ECSQARU
2009
Springer
15 years 10 months 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...
118
Voted
QUACON
2009
Springer
15 years 10 months 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,...
128
click to vote
CONCUR
2007
Springer
15 years 10 months 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...
144
Voted
ICALP
2007
Springer
15 years 10 months 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...