831 search results - page 69 / 167 » Coalgebraic Correspondence Theory |
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper addresses the problem of 3D sound representation without sound source localization and proposes a theory based on the ray-space representation of light rays, which is i...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
102
click to vote
NOSSDAV
2005
Springer
15 years 5 months ago
2005
Springer
Multimedia applications today constitute a signiļ¬cant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...
114
click to vote
SCALESPACE
2005
Springer
15 years 5 months ago
2005
Springer
We investigate the use of fractional powers of the Laplacian for signal and image simpliļ¬cation. We focus both on their corresponding variational techniques and parabolic pseudod...
COLT
2004
Springer
15 years 5 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....