1805 search results - page 182 / 361 » Functional programming with structured graphs |
131
click to vote
BMCBI
2008
2008
Modifying the DPClus algorithm for identifying protein complexes based on new topological structures
15 years 1 months ago
Background: Identification of protein complexes is crucial for understanding principles of cellular organization and functions. As the size of protein-protein interaction set incr...
105
click to vote
CP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
151
click to vote
AAAI
2008
15 years 2 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
147
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
124
click to vote
PVM
1997
Springer
15 years 5 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...