950 search results - page 21 / 190 » Type Specialization in Aldor |
TIT
2010
13 years 2 months ago
2010
We consider a power-efficient communication model for wireless sensor networks where silence is used to convey information. We study the average-case and worstcase complexities of ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Stereo audio enhancement and upmixing techniques require spatial analysis of the mixture in order to work optimally for different types of contents. In this paper a method is prop...
EXTREME
2004
ACM
14 years 29 days ago
2004
ACM
We argue that there are some special situations where it can be useful to repair well-formedness violations occurring in XML-like input, giving examples from our own work. We anal...
FOSSACS
2004
Springer
14 years 27 days ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
VLDB
1993
ACM
13 years 11 months ago
1993
ACM
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...