Semantic Scholar uses AI to extract papers important to this topic.
Abstract Class-imbalance learning is one of the most challenging problems in machine learning. As a new and important direction… Expand Object composition offers significant advantages over class inheritance to develop a flexible software architecture for finite… Expand This paper presents FRACTAL, a hierarchical and reflective component model with sharing. Components in this model can be endowed… Expand Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the… Expand Contents of Volume One: Preface. Contributors. B. Jahne, Introduction. Illumination and Image Formation. H. Hausecker, Radiation… Expand methods are a powerful construct in the object-oriented paradigm. To understand abstract methods, we look at the notion of an… Expand HOL Light is a new version of the HOL theorem prover. While retaining the reliability and programmability of earlier versions, it… Expand This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… Expand This manual describes a Prolog system developed at the Swedish Institute of Computer Science. Parts of the system were developed… Expand Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a… Expand