2292 search results - page 181 / 459 » Structure preserving embedding |
125
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
123
click to vote
WDAG
2004
Springer
15 years 9 months ago
2004
Springer
A central problem for structured peer-to-peer networks is topology maintenance, that is, how to properly update neighbor variables when nodes join and leave the network, possibly c...
132
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
95
Voted
WS
2008
ACM
15 years 4 months ago
2008
ACM
We propose hGRDDL (pronounced "h-griddle"), a simple mechanism for transforming ad-hoc HTML-embedded structured data, such as microformats, into RDFa. This technique pre...
131
click to vote
TCSV
2002
15 years 3 months ago
2002
An efficient compression scheme for color-quantized images based on progressive coding of color information has been developed. Instead of sorting color indexes into a linear list ...