16 search results - page 1 / 4 » csl 2003 |
CSL
2003
Springer
13 years 9 months ago
2003
Springer
CSL
2003
Springer
13 years 9 months ago
2003
Springer
We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This
CSL
2003
Springer
13 years 9 months ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
CSL
2005
Springer
13 years 10 months ago
2005
Springer
ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at t...
ISCAS
2003
IEEE
13 years 9 months ago
2003
IEEE
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...