Sciweavers

1413 search results - page 154 / 283
» A new condensation principle
Sort
View
AMAST
2004
Springer
14 years 2 months ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
ECOWS
2006
Springer
14 years 2 months ago
A Multimedia-Specific Approach to WS-Agreement
WS-Agreement offers a general language and protocol to establish agreements between two parties. In principle, this generality enables a wide variety of domains to be covered. Yet...
Wilfried Jouve, Julien Lancia, Charles Consel, Cal...
KDD
1995
ACM
130views Data Mining» more  KDD 1995»
14 years 2 months ago
Compression-Based Evaluation of Partial Determinations
Our work tackles the problem of finding partial determinations in databases and proposes a compressionbased measure to evaluate them. Partial determinations can be viewed as gener...
Bernhard Pfahringer, Stefan Kramer
SIGGRAPH
1995
ACM
14 years 2 months ago
Applications of irradiance tensors to the simulation of non-Lambertian phenomena
We present new techniques for computing illumination from non-diffuse luminaires and scattering from non-diffuse surfaces. The methods are based on new closed-form expressions d...
James Arvo
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 2 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin