4555 search results - page 762 / 911 » Deductive Algorithmic Knowledge |
182
click to vote
ENTCS
2002
15 years 6 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
182
click to vote
JODL
2000
15 years 6 months ago
2000
Abstract. In this paper we investigate a general purpose interactive information organization system. The system organizes documents by placing them into 1-, 2-, or 3-dimensional s...
165
click to vote
KAIS
2000
15 years 6 months ago
2000
In this paper, a fast adaptive neural network classifier named FANNC is proposed. FANNC exploits the advantages of both adaptive resonance theory and field theory. It needs only on...
158
click to vote
SIAMCO
2000
15 years 6 months ago
2000
In this paper, we consider linear systems in input-output form and introduce a new adaptive linear quadratic Gaussian (LQG) control scheme which is shown to be self-optimizing. The...
232
click to vote
ASE
1998
15 years 6 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...