2766 search results - page 513 / 554 » Hybridizing a Logical Framework |
111
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
193
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
134
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
127
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
138
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...