1805 search results - page 232 / 361 » A Theory of Closure Operators |
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
171
click to vote
MST
2008
15 years 6 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
149
click to vote
EOR
2007
15 years 6 months ago
2007
In the two-dimensional single large object placement problem, we are given a rectangular master surface which has to be cut into a set of smaller rectangular items, with the aim o...
165
click to vote
JLP
2007
15 years 6 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
154
click to vote
TSP
2008
15 years 6 months ago
2008
This paper is motivated by multichannel sampling applications. We consider a hybrid filter banks consisting of a set of fractional delays operators, slow A/D converters with differ...