-
-
We introduce and study resource bounded random sets based on Lutz's
concept of resource bounded measure. We concentrate on n^crandomness
(c >= 2) which corresponds to the polynomial time bounded (p)measure
of Lutz, and which is adequate for studying the internal and
quantitative structure of ...
-
Recently Lutz introduced a polynomial time bounded version of Lebesgue
measure. He and others used this concept to investigate the quantitative
structure of Exponential Time (E=DTIME(2^lin)). Previously, AmbosSpies,
Fleischhack and Huwig introduced polynomial time bounded genericity
concepts ...
-
-
-
CLOSe to the edge?
Advanced objectoriented techniques in the representation of musical knowledge
Peter Desain, Henkjan Honing
The modeling of knowledge about musical expression asks for quite some
flexibility during the design process and the availability of highlevel
abstractions to represe...
-
The Vibrato Problem.
Comparing two ways to describe the interaction between the continuous and
discrete components in music representation systems.
Henkjan Honing
In a number of timebased domains (e.g., animation, music, sound or speech)
a distinction can be made between the discrete, symboli...
-
-
The recognition problem for attributevalue grammars(AVGs) was shown to
be undecidable by Johnson in 1988. Therefore, the general form of AVGs is of
no practical use. In this paper we study a very restricted form of AVG, for
which the recognition problem is decidable (though still NPcomplete), ...
-
Logic programs augmented with delay declarations form a higly expressive
programming language in which dynamic networks of processes that communicate
asynchronously by means of multiparty channels can be easily created. In
this paper we study correctness these programs. In particular, we propo...
-
This is a draft of the chapter ``Randomness'' in 20th Century Mathematics
prepared for the `Matematica, Logica, Informatica' Volume 12 of the Storia
del XX Secolo, to be published by the Instituto della Enciclopedia Italiana.
Excerpts of this draft appeared earlier in P.M.B. Vitanyi, ``Randomn...