2797 search results - page 204 / 560 » Code query by example |
142
Voted
ISSAC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
126
Voted
ISCAS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper proposes a multilevel logic approach to output coding using multilevel neurons in the output layer. Training convergence for a single multilevel perceptron is considere...
119
click to vote
ESM
1998
15 years 4 months ago
1998
The aim of this work is to provide a tool for the development of Web-based simulations with visual and interactive features. The tool is defined by an object-oriented class librar...
116
Voted
CACM
1999
15 years 3 months ago
1999
uire an abstraction layer, without paying the performance penalty paid by microkernels. By allowing for kernel modules, hardware-specific code can often be confined to a module, ke...
158
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...