1847 search results - page 250 / 370 » Hybrid Functional Interpretations |
145
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
146
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
143
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Network methods are increasingly used to represent the interactions of genes and/ or proteins. Genes or proteins that are directly linked may have a similar biological...
144
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
128
click to vote
CANDC
2006
ACM
15 years 4 months ago
2006
ACM
A model of hydrophobic collapse, which is treated as the driving force for protein folding, is presented. This model is the superposition of three models commonly used in protein ...