3984 search results - page 517 / 797 » A Model-Driven Transformation Method |
147
click to vote
ECML
1993
Springer
15 years 10 months ago
1993
Springer
It is empirically known that most incremental learning systems are order dependent, i.e. provide results that depend on the particular order of the data presentation. This paper ai...
274
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
156
click to vote
ISSAC
1989
Springer
15 years 10 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...
152
click to vote
SC
1990
ACM
15 years 10 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
160
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...