128 search results - page 11 / 26 » Extensible encoding of type hierarchies |
ENTCS
2007
13 years 7 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
ICASSP
2010
IEEE
13 years 2 months ago
2010
IEEE
The distortion scalable wavelet based coder SPECK is widely referred to in literature as achieving excellent coding performance with very low computational complexity compared to ...
SPE
2008
13 years 7 months ago
2008
The innate verbosity of the Extensible Markup Language remains one of its main weaknesses, especially when large XML documents are concerned. This problem can be solved with the a...
DCC
2010
IEEE
14 years 2 months ago
2010
IEEE
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...