14898 search results - page 2753 / 2980 » Design of Neural Networks |
197
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
179
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
163
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
198
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...
181
click to vote
FPGA
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...