525 search results - page 102 / 105 » Using Checkable Types in Automatic Protocol Analysis |
ECML
2001
Springer
14 years 4 days ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciï...
JMLR
2006
13 years 7 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
BIOINFORMATICS
2005
13 years 7 months ago
2005
Motivation: Intervention in a gene regulatory network is used to help it avoid undesirable states, such as those associated with a disease. Several types of intervention have been...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
IBPRIA
2007
Springer
14 years 1 months ago
2007
Springer
Multivariate imaging technologies such as Dynamic Contrast-Enhanced Magnetic Resonance Imaging (DCE-MRI) have recently gained an important attention as it improves tumour detection...