4128 search results - page 640 / 826 » Learning and using relational theories |
SASO
2010
IEEE
14 years 8 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
FM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
117
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
104
click to vote
DCC
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper all cocyclic Hadamard matrices of order less than 40 are classified. That is, all such Hadamard matrices are explicitly constructed, up to Hadamard equivalence. Thi...