Sciweavers

3259 search results - page 360 / 652
» Modeling Autonomous-System Relationships
Sort
View
CONTEXT
2001
Springer
15 years 10 months ago
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
ICPR
2000
IEEE
15 years 10 months ago
3-D Structures for Generic Object Recognition
We discuss the issues and challenges of generic object recognition. We argue that high-level, volumetric part-based descriptions are essential in the process of recognizing object...
Gérard G. Medioni, Alexandre R. J. Fran&cce...
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 10 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
DIAGRAMS
2000
Springer
15 years 10 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
15 years 10 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...