358 search results - page 57 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
141
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
134
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
127
click to vote
ICCAD
1996
IEEE
15 years 9 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 ...
188
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
159
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...