3713 search results - page 659 / 743 » Constructing a Calculus of Programs |
IDA
1999
Springer
14 years 2 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
ILP
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents an application of Inductive Logic Programming (ILP) and Backpropagation Neural Network (BNN) to the problem of Thai character recognition. In such a learning pr...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...
IEAAIE
1998
Springer
14 years 2 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
EUROMICRO
1997
IEEE
14 years 2 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...