Sciweavers

2192 search results - page 63 / 439
» Embedded function composition
Sort
View
ICFP
2001
ACM
14 years 8 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
MODELS
2009
Springer
14 years 3 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
DAGSTUHL
2006
13 years 10 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
BMEI
2009
IEEE
13 years 10 months ago
Analysis of the Bipartite Networks of Domain Compositions and Metabolic Reactions
It is widely accepted that complexity of biological systems arises from combinations of common subunits. In this work we investigate the combinatorial patterns of protein domains ...
Chen-Hsiang Yeang
JMLR
2010
91views more  JMLR 2010»
13 years 3 months ago
Composite Binary Losses
We study losses for binary classification and class probability estimation and extend the understanding of them from margin losses to general composite losses which are the compos...
Mark D. Reid, Robert C. Williamson