Sciweavers

4752 search results - page 275 / 951
» From computation models to models of provenance: the RWS app...
Sort
View
SARA
2009
Springer
16 years 1 months ago
Common Subexpressions in Constraint Models of Planning Problems
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Grego...
ISMB
1997
15 years 8 months ago
Functional Prediction of B. subtilis Genes from Their Regulatory Sequences
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
Tetsushi Yada, Yasushi Totoki, Takahiro Ishii, Ken...
WABI
2007
Springer
16 years 26 days ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
FIDJI
2004
Springer
16 years 4 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
SIGIR
2009
ACM
16 years 1 months ago
A bayesian learning approach to promoting diversity in ranking for biomedical information retrieval
In this paper, we propose a Bayesian learning approach to promoting diversity for information retrieval in biomedicine and a re-ranking model to improve retrieval performance in t...
Xiangji Huang, Qinmin Hu