Sciweavers

556 search results - page 59 / 112
» Generic Properties of Datatypes
Sort
View
132
Voted
PPDP
2009
Springer
15 years 10 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
129
Voted
ICC
2008
IEEE
122views Communications» more  ICC 2008»
15 years 10 months ago
Improving Quality of Experience by Adding Device Resource Reservation to Service Discovery Protocols
— Current service discovery protocols (SDP) hardly provide information on the actual availability of resources in the network or a mechanism for (device) resource reservation. Wh...
Archi Delphinanto, A. M. J. Koonen, Frank T. H. de...
ICMCS
2008
IEEE
188views Multimedia» more  ICMCS 2008»
15 years 10 months ago
An interoperable multimedia delivery framework for scalable video coding based on MPEG-21 Digital Item Adaptation
In this paper we present an interoperable multimedia delivery framework for scalable video coding based on MPEG-21 Digital Item Adaptation (DIA). In can be used to transmit scalab...
Michael Eberhard, Luca Celetto, Christian Timmerer...
ICTAI
2008
IEEE
15 years 10 months ago
A Lattice-Based Model for Recommender Systems
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...
Shriram Narayanaswamy, Raj Bhatnagar
121
Voted
TPHOL
2008
IEEE
15 years 9 months ago
Canonical Big Operators
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioa...