3020 search results - page 570 / 604 » Type Analysis of Prolog Using Type Graphs |
BMCBI
2010
13 years 7 months ago
2010
Background: Tandem mass spectrometry (MS/MS) has become the primary way for protein identification in proteomics. A good score function for measuring the match quality between a p...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider wireless networks that can be modeled by multiple access channels in which all the terminals are equipped with multiple antennas. The propagation model used to account...
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...
22
Voted
TKDE
2008
13 years 7 months ago
2008
Given a large spatio-temporal database of events, where each event consists of the fields event ID, time, location, and event type, mining spatio-temporal sequential patterns ident...