ion of Representation for Interoperation David A. Maluf and Gio Wiederhold Department of Computer Science Stanford University Stanford, CA 94305 Abstract. When combining data from distinct sources, there is a need to share meta-data and other knowledge about various source domains. Due to semantic inconsistencies, problems arise when combining knowledge across domains and the knowledge is simpl...

A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. This paper proposes to use Cousot and Cousot’s Cardinal power domain to capture dependencies of analysis output on its input and obtain a parametric analysis by parametrizing a base analysis. We illustrate the meth...

Allergic responses result from the activation of mast cells by the human high-affinity IgE receptor. IgE-mediated allergic reactions may develop to a variety of environmental compounds, but the initiation of a response requires the binding of IgE to its high-affinity receptor. We have solved the X-ray crystal structure of the antibody-binding domains of the human IgE receptor at 2.4 A resolutio...

Supervised metric learning plays a substantial role in statistical classification. Conventional metric learning algorithms have limited utility when the training data and testing data are drawn from related but different domains (i.e., source domain and target domain). Although this issue has got some progress in feature-based transfer learning, most of the work in this area suffers from non-tr...

Many modeling domains can be meta modeled using the core UML structural concepts. When the user needs other specific forms generated from models in such domains, such as source code, model transformations should be defined. The author advocates a specification method for defining model translation that is visual, making specifications easier to create and modify.

Abstract Natural Language Processing algorithms have made incredible progress, but they still struggle when applied to out-of-distribution examples. We address a challenging and underexplored version of this domain adaptation problem, where an algorithm is trained on several source domains, then examples from unseen domains that are unknown at training time. Particularly, no examples, labeled o...

Visual analytics (VA) system development started in academic research institutions where novel visualization techniques and open source toolkits were developed. Simultaneously, small software companies, sometimes spin-offs from academic research institutions, built solutions for specific application domains. In recent years we observed the following trend: some small VA companies grew exponenti...

In this paper, a new adaptive step-size discrete power control scheme is proposed, based on the review of practical power control schemes implemented in the IS-95, CDMA2000 and WCDMA wireless systems, and the power control algorithms proposed in literature. The transmit power is controlled in discrete power domain while using the idea of the most popular power control algorithm (e.g. DCPC) in p...

valuations on a topological space X are functions that map open sets to 0, 1, or one value in between. We deene a space of abstract valuations which for a continuous dcpo X is homeomorphic to the Plotkin power domain of X, and for a Hausdorr space X yields the Vietoris hyperspace of X. Thus we obtain a novel concrete representation of the Plotkin power domain. This representation is more simila...