Search
Search Results
-
Nonparametric estimation of generalized covariances by modeling on-line data
Structural analysis of data displaying trends may be performed with the help of generalized increments, the variance of these increments being a...
-
Analogical and Case-Based Reasoning
Analogical Reasoning (AR) involves the use of past experiences to solve problems that are similar to problems solved before. This kind of reasoning...
-
A bridge for heterogeneous communication between CORBA and DCE
This paper considers a bridge which can be used for the heterogeneous communication between Common Object Request Broker Architecture(CORBA) and...
-
Relationale Systeme
Die Datenmodellierung ist ein wichtiger Teil der Anwendungsentwicklung (Bild 6.1). Sie bildet einen Ausschnitt aus der Realität — eine sogenannte...
-
Towards improving case adaptability with a genetic algorithm
Case combination is a difficult problem in Case Based Reasoning, as sub-cases often exhibit conflicts when merged together. In our previous work we...
-
C++ as a better C
In this chapter we conclude the description of the conventional programming part of C++. We include the new features of C++, which amend some of the...
-
Automatic executable test case generation for extended finite state machine protocols
This paper presents a method for automatic executable test case and test sequence generation which combines both control and data flow testing...
-
Higher-order equational unification via explicit substitutions
We show how to reduce the unification problem modulo βη-conversion and a first-order equational theory E, into a first-order unification problem in a...
-
Strong normalisation in higher-order action calculi
The framework of action calculi accommodates a variety of disciplines of interaction and computation. A general theory of action calculi is under...
-
Logical consequence: A defense of Tarski
In his classic 1936 essay “On the Concept of Logical Consequence”, Alfred Tarski used the notion of satisfaction to give a semantic characterization...
-
Stationary persistent time series misspecified as nonstationary arima
Long-memory processes, such as Autoregressive Fractionally Integrated Moving-Average processes—ARFIMA—are likely to lead the observer to make serious...
-
Resolution as Decision Procedure
In Section 2.7 we showed that for every unsatisfiable set of clauses there exists a resolution refutation. In the last two chapters we have exhibited...
-
SOM 1, a small new gene required for mitochondrial inner membrane peptidase function inSaccharomyces cerevisiae
IMP1 encodes a subunit of the mitochondrial inner membrane peptidase responsible for the proteolytic processing of cytochrome oxidase subunit 2...
-
Plans as structured networks of hierarchically and temporally related case pieces
This paper describes a representation of plan cases as a structured set of goals and actions. These goals and actions are the unit pieces that form a...
-
Cooperating agents implementing distributed patient management
Managing patients is a knowledge intensive activity requiring a high interoperability among the health care professionals involved. To support...
-
Monadic second order logic on tree-like structures
An operation M + constructing from a given structure M a tree-like structure which domain consists of the sequences of elements of M is considered. A...
-
Towards a Theory of Multimedia Database Systems
Though there are now numerous examples of multimedia systems in the commercial market, these systems have been developed primarily on a case-by-case...
-
Empirical studies of heuristic local search for constraint solving
The goal of this paper is twofold. First, we introduce a class of local search procedures for solving optimization and constraint problems. These...
-
Modeling of natural convection in an open pit
Problems of the theoretical modeling of natural and forced heat and mass transfer in open pits are addressed in many studies, most of which use...