Sciweavers

556 search results - page 59 / 112
» Generic Properties of Datatypes
Sort
View
PPDP
2009
Springer
14 years 3 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
ICC
2008
IEEE
122views Communications» more  ICC 2008»
14 years 3 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»
14 years 3 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
14 years 3 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
TPHOL
2008
IEEE
14 years 3 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...