2705 search results - page 449 / 541 » Privacy in Data Mining Using Formal Methods |
110
click to vote
PARMA
2004
15 years 3 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
118
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Correlation networks are increasingly being used in bioinformatics applications. For example, weighted gene co-expression network analysis is a systems biology method ...
147
click to vote
TES
2001
Springer
15 years 6 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
141
click to vote
CC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...