125
click to vote
DIAGRAMS
15 years 6 months ago
2004 Springer
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
123
Voted
DIAGRAMS
15 years 6 months ago
2004 Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
118
Voted
DIAGRAMS
15 years 4 months ago
2004 Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
116
Voted
DIAGRAMS
15 years 6 months ago
2004 Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...
113
Voted
DIAGRAMS
15 years 4 months ago
2004 Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
|