285 search results - page 35 / 57 » Relating two formal models of path-vector routing |
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based n...
126
click to vote
EUMAS
2006
15 years 2 months ago
2006
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
122
click to vote
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
138
click to vote
PADS
2003
ACM
15 years 6 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
136
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...