4767 search results - page 106 / 954 » Structures for Abstract Rewriting |
118
Voted
ECML
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
119
Voted
ICLA
2009
Springer
14 years 12 months ago
2009
Springer
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
139
Voted
LICS
2006
IEEE
15 years 8 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...
141
Voted
APLAS
2010
ACM
15 years 2 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
15 years 7 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...