313 search results - page 15 / 63 » Properties of Euler Diagrams |
ICCAD
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
Image differencing is used for many applications involving change detection. Although it is usually followed by a thresholding operation to isolate regions of change there are few...
COMBINATORICS
1998
13 years 7 months ago
1998
An n-Venn diagram is a collection of n finitely-intersecting simple closed curves in the plane, such that each of the 2n sets X1 ∩X2 ∩· · ·∩Xn, where each Xi is the open...
DLOG
2010
13 years 5 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...