Sciweavers

1300 search results - page 71 / 260
» Visual Languages
Sort
View
152
Voted
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 7 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
151
Voted
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
15 years 7 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...
117
Voted
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
15 years 9 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
131
Voted
ASSETS
2006
ACM
15 years 8 months ago
MobileASL: : intelligibility of sign language video as constrained by mobile phone technology
For Deaf people, access to the mobile telephone network in the United States is currently limited to text messaging, forcing communication in English as opposed to American Sign L...
Anna Cavender, Richard E. Ladner, Eve A. Riskin
111
Voted
TVCG
2008
113views more  TVCG 2008»
15 years 2 months ago
A Spreadsheet Approach to Facilitate Visualization of Uncertainty in Information
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
Alexander Streit, Binh Pham, Ross Brown