4767 search results - page 215 / 954 » Structures for Abstract Rewriting |
178
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...
180
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract--We investigate the structure of the polytope underlying the linear programming (LP) decoder introduced by Feldman, Karger, and Wainwright. We first show that for expander...
163
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
210
click to vote
TKDE
2008
15 years 6 months ago
2008
This paper presents a general virtual ring method to design and analyze small-world structured P2P networks on the base es embedded in ID spaces with distance metric. Its basic ide...
190
click to vote
MAGS
2007
15 years 6 months ago
2007
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...