• 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...
  • K-Maude

  • Referenced in 10 articles [sw09747]
  • transforming K language definitions into Maude rewrite theories for execution or analysis, or into LaTeX ... documentation purposes. The current K-Maude 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 semiring-based 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...
  • Petri-PDL

  • 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...