3353 search results - page 338 / 671 » Laver and set theory |
199
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
129
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
In previous work [7] a computational framework was demonstrated that employs evolutionary algorithms to automatically model a given system. This is accomplished by alternating the...
202
click to vote
IFSA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
168
click to vote
ICDCSW
2006
IEEE
16 years 24 days ago
2006
IEEE
Interdomain routing is essential to both the stability and efficiency of the global Internet. However, most previous studies focus only on stability, and only on a special class ...
160
click to vote
SIGIR
2006
ACM
16 years 21 days ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...