2550 search results - page 76 / 510 » Difference Decision Diagrams |
200
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
136
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
143
click to vote
KDD
1994
ACM
15 years 10 months ago
1994
ACM
Oneof the central goals of knowledgediscovery in databases is to produceknowledgeuseful for decision making. However,the form in which knowledgecan be easily discovered is often d...
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
A new decision tree learning algorithm called IDX is described. More general than existing algorithms, IDX addresses issues of decision tree quality largely overlooked in the arti...
129
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...