
GOLOG
 Referenced in 170 articles
[sw02159]
 theory of action specified in an extended version of the situation calculus. A prototype implementation...

BenderWu
 Referenced in 11 articles
[sw22948]
 which allows the study of the perturbation theory of an arbitrary, locally harmonic 1D quantum ... latter may form a prototype for regularized quantum field theory. We first generalize the method...

Aleph
 Referenced in 47 articles
[sw12108]
 Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming ... /pub/ML_GROUP/Papers/lpj.ps.gz. Aleph is intended to be a prototype for exploring ideas. Earlier incarnations (under...

rCOS
 Referenced in 14 articles
[sw01502]
 research of the theory and the development of the prototype tool. The concepts, techniques...

Atomizer
 Referenced in 17 articles
[sw08924]
 theory of reduction and earlier dynamic race detectors. Experience with a prototype checker for multithreaded...

RMetrics
 Referenced in 29 articles
[sw09991]
 data analysis, statistical modelling and rapid model prototyping. The R/Rmetrics packages are embedded ... GARCH Modelling and Volatility Forecasting, Extreme Value Theory and Copulae, Pricing of Derivatives, Portfolio Analysis...

UTPCalc
 Referenced in 2 articles
[sw22067]
 Haskell, that supports rapid prototyping of new theories in the Unifying Theories of Programming paradigm...

KMaude
 Referenced in 10 articles
[sw09747]
 transforming K language definitions into Maude rewrite theories for execution or analysis, or into LaTeX ... documentation purposes. The current KMaude prototype was successfully used in defining several languages...

ProbView
 Referenced in 27 articles
[sw09438]
 negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data ... these ideas, we have developed a prototype probabilistic database system called ProbView...

MISTY
 Referenced in 25 articles
[sw24162]
 designed on the basis of the theory of provable security against differential and linear cryptanalysis ... hardware performance, we have produced a prototype LSI by a process of 0.5$mu$ CMOS...

PAGODA
 Referenced in 14 articles
[sw08569]
 very elegant and abstract semiringbased theory of soft constraints where many different kinds ... this paper we present a framework for prototyping of soft constraints `a la Bistarelli, Montanari...

FAdo
 Referenced in 14 articles
[sw10335]
 level programming with complex data structures, easy prototyping of algorithms, and portability ... pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive...

CoNoteS2
 Referenced in 2 articles
[sw13833]
 build on this theory to describe features of CoNoteS2 (a prototype electronic notebook) that support ... intent is to illustrate how contemporary learning theory can be used to drive instructional innovation...

TheoryML
 Referenced in 1 article
[sw02053]
 repository for scientific theory: development of a technical framework and prototype based on TheoryML...

PEAK
 Referenced in 3 articles
[sw04875]
 theory as well as in its application to building a full prototypical spectral NWP model...

GUItar
 Referenced in 10 articles
[sw10336]
 level programming with complex data structures, easy prototyping of algorithms, and portability ... pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive...

TopLog
 Referenced in 9 articles
[sw02010]
 logic program called top theory (⊤). The top theory can be viewed as a declarative bias ... derive hypotheses from ⊤. Secondly, we present a prototype implementation of TDHD within...

PetriPDL
 Referenced in 3 articles
[sw15081]
 available for DL. This work presents a prototype implementation, in the Rewriting Logic language Maude ... representation of Kripke models as rewrite theories defined for the Linear Temporal Logic model checker...

OOZE
 Referenced in 3 articles
[sw09494]
 based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database ... Module interfaces can be precisely specified using theories. Abstract data types, multiple inheritance, complex objects...

ProbNetKAT
 Referenced in 2 articles
[sw21703]
 characterization of ProbNetKAT’s semantics using domain theory, which provides the foundation needed to build ... distributions with finite support. We develop a prototype implementation and show...