3779 search results - page 708 / 756 » Linear Consistency Testing |
202
click to vote
POPL
2003
ACM
16 years 5 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
RECOMB
2008
Springer
16 years 5 days ago
2008
Springer
Understanding the variation of recombination rates across a given genome is crucial for disease gene mapping and for detecting signatures of selection, to name just a couple of app...
151
click to vote
RECOMB
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
102
click to vote
RECOMB
2003
Springer
16 years 5 days ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
CADE
2007
Springer
16 years 5 days ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...