299 search results - page 30 / 60 » A General Framework for Reasoning about Inconsistency |
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Modern structure from motion techniques are capable of building city-scale 3D reconstructions from large image collections, but have mostly ignored the problem of largescale struc...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
RE
2007
Springer
14 years 1 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
JOLLI
2006
13 years 7 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
ENTCS
2007
13 years 7 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...