Search Sciweavers | Sciweavers

133 search results - page 3 / 27

» diagrams 2000

188

click to vote

VL
2000
IEEE

115views Visual Languages» more VL 2000»

SD2: A Sound and Complete Diagrammatic Reasoning System

15 years 10 months ago

Download snowwhite.it.brighton.ac.uk

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

claim paper

Read More »

112

click to vote

KBSE
2000
IEEE

58views Software Engineering» more KBSE 2000»

Semantic Abstraction Rules for Class Diagrams

15 years 10 months ago

Download www.alexander-egyed.com

Alexander Egyed

claim paper

Read More »

109

click to vote

ASPDAC
2000
ACM

99views Hardware» more ASPDAC 2000»

Symbolic circuit-noise analysis and modeling with determinant decision diagrams

15 years 10 months ago

Download www.ee.ucr.edu

Xiang-Dong Tan, C.-J. Richard Shi

claim paper

Read More »

114

click to vote

WOSP
2000
ACM

92views Software Engineering» more WOSP 2000»

Deriving a queueing network based performance model from UML diagrams

15 years 10 months ago

Download www1.isti.cnr.it

Keywords

Vittorio Cortellessa, Raffaela Mirandola

claim paper

Read More »

130

click to vote

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers