ERSHOV
1999
Springer
14 years 3 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
ERSHOV
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
DIS
1999
Springer
14 years 3 months ago
1999
Springer
DIS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper we attempt to semi-automatically discover instances of poetic allusion, or more gener...
DIS
1999
Springer
14 years 3 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
DIS
1999
Springer
14 years 3 months ago
1999
Springer
DIS
1999
Springer
14 years 3 months ago
1999
Springer
This paper shows preliminary results, on financial data, of an algorithm for discovering pairs of an exception rule and a common sense rule under a prespecified schedule. An exce...
DIS
1999
Springer
14 years 3 months ago
1999
Springer
DIS
1999
Springer
14 years 3 months ago
1999
Springer
: This paper shows that a connectionist law discovery method called RF5X can discover a law in the form of a set of nominally conditioned polynomials, from data containing both nom...
FOCS
1999
IEEE
14 years 4 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...