2550 search results - page 151 / 510 » Difference Decision Diagrams |
165
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
128
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structur...
134
click to vote
SOSYM
2002
15 years 6 months ago
2002
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
174
click to vote
PSYCHNOLOGY
2008
15 years 5 months ago
2008
This paper describes a design framework for representing social-spatial data on maps and diagrams and then illustrates the design approaches for representing social data in two ap...
166
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...