1411 search results - page 76 / 283 » Interactive Coding for Interactive Proofs |
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
95
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
We propose a new multiple description method for wavelet transform coded images. The partitioning of the coefficients at the encoder is combined with concealment at the decoder to...
114
Voted
IWINAC
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is firs...
108
Voted
GG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
81
Voted
UIST
2005
ACM
15 years 6 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...