3400 search results - page 643 / 680 » tools 2008 |
AUSDM
2008
Springer
13 years 12 months ago
2008
Springer
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
RECOMB
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. One phylogeny-based approach to horizontal gene transfer (HGT) detection entails comparing the topology of a gene tree to that of the species tree, and using their differ...
ECCC
2011
13 years 4 months ago
2011
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...