end end total = 0, add = fun(n : Int) total := total + n Parser converts concrete syntax to the abstract representation Small number of language-specific components Large number of components provide abstractions common across several languages Sub-typing is handled separately to allow different sub-type regimes to be explored Interpreter uses type attributes to store type-derived information u...

In this paper, we introduce a framework of human pose estimation from polluted silhouettes due to occlusions or shadows. Since the body pose (and configuration) can be estimated by partial components of the silhouette, a robust statistical method is applied to extract useful information from these components. In this method a Gaussian Process model is used to create each sub-manifold correspond...

trees are binary, split fit is co-Pareto on components (Wilkinson et al., 2005a). When input trees have polytomies, an optimal split fit supertree could include arbitrary resolutions that do not contradict any displayed splits. In that case, split fit can fail to be co-Pareto (but not sub-Pareto) on components. In contrast, the corresponding strict consensus, the split fit* supertree, suppresse...

Association of C 3 -symmetric pyrene- and naphthalene diimide-based derivatives afforded gels through aromatic interactions. The corresponding (xero)gels displayed original spectroscopic features in comparison to the one-component materials.

In the first paper of this two-part series on the development of a water sustainability index for West Java, a conceptual framework of West Java Water Sustainability Index (WJWSI) was developed. It consists of three main parts: components, indicators/sub-indicators and threshold values. This second paper of the series presents the application of the Delphi technique, followed by in-depth interv...

Monitoring large-scale systems is of fundamental importance in modern infrastructures. Many of these large-scale systems are complex interconnections of sub-components which interact by means of communication channels with limited bandwidth. Therefore the information must be encoded in order to be transmitted. Given a class of encoders, the problem of detecting faults affecting some of these su...