Sciweavers

87 search results - page 12 / 18
» Denotation by Transformation
Sort
View
JMLR
2010
118views more  JMLR 2010»
13 years 2 months ago
Hilbert Space Embeddings and Metrics on Probability Measures
A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing, and independence testing....
Bharath K. Sriperumbudur, Arthur Gretton, Kenji Fu...
SOCO
2007
Springer
14 years 1 months ago
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
Dietmar Schreiner, Karl M. Göschka
ICMCS
2005
IEEE
90views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Eye Detection Under Unconstrained Background by the Terrain Feature
Locating eyes in face images is an important step for automatic face analysis and recognition. In this paper, we present a novel approach for eye detection without finding the fa...
Jun Wang, Lijun Yin
WOWMOM
2005
ACM
106views Multimedia» more  WOWMOM 2005»
14 years 1 months ago
A Framework for Dynamic Service Composition
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
Paramai Supadulchai, Finn Arve Aagesen
TLCA
2005
Springer
14 years 1 months ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird