2248 search results - page 398 / 450 » Using Bayesian networks to analyze expression data |
135
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: A central challenge in the molecular diagnosis and treatment of cancer is to define a set of molecular features that, taken together, distinguish a given cancer, or ty...
136
click to vote
ICTAC
2010
Springer
15 years 29 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
132
click to vote
RAID
1999
Springer
15 years 7 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
132
click to vote
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
133
click to vote
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Many Internet applications employ multi-tier software architectures. The performance of such multi-tier Internet applications is typically measured by the end-toend response times...