Sciweavers

2517 search results - page 367 / 504
» Specifying Weak Sets
Sort
View
ECOOP
2003
Springer
15 years 11 months ago
Traits: Composable Units of Behaviour
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
Nathanael Schärli, Stéphane Ducasse, O...
ECSQARU
2003
Springer
15 years 11 months ago
Propositional Fusion Rules
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
Anthony Hunter, Rupert Summerton
ICLP
2003
Springer
15 years 11 months ago
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
Frank D. Valencia
ISMIR
2003
Springer
125views Music» more  ISMIR 2003»
15 years 11 months ago
A scalable peer-to-peer system for music content and information retrieval
Currently a large percentage of Internet traffic consists of music files, typically stored in MP3 compressed audio format, shared and exchanged over Peer-to-Peer (P2P) networks....
George Tzanetakis, Jun Gao, Peter Steenkiste
NPAR
2010
ACM
15 years 11 months ago
Diffusion constraints for vector graphics
The formulation of Diffusion Curves [Orzan et al. 2008] allows for the flexible creation of vector graphics images from a set of curves and colors: a diffusion process fills out...
Hedlena Bezerra, Elmar Eisemann, Doug DeCarlo, Jo&...