4767 search results - page 106 / 954 » Structures for Abstract Rewriting |
ECML
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
ICLA
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
IPTPS
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we describe an ongoing effort to define common APIs ctured peer-to-peer overlays and the key abstractions that can be built on them. In doing so, we hope to facilit...