• Church

  • Referenced in 54 articles [sw08946]
  • stochastic memoizer, which enables simple description of many complex non-parametric models. We illustrate language...
  • Charon

  • Referenced in 20 articles [sw19755]
  • hierarchical description of the system architecture, Charon supports building complex agents via the operations ... hierarchical description of the behaviour of atomic components, it supports building complex modes ... externally defined Java functions, facilitate the description of complex discrete behaviour. The continuous behaviour...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • expression language allows the description of arbitrarily complex generative models. In addition, IBAL’s observation...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • restrictive for complex system specifications which mix formal descriptions and executable code (e.g, for components...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • Alloy supports the description of systems whose state involves complex relational structure. State and behavioural...
  • Simplicial complex library

  • Referenced in 15 articles [sw20484]
  • Library. This page collects many interesting simplicial complexes from papers by several authors. The data ... lists of facets, linked from each description page...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • facto standard for the description of complex systems-on-a-chip. It enables system-level...
  • VOLNA

  • Referenced in 19 articles [sw06829]
  • arbitrary complex domains. This paper contains a detailed description of the finite volume scheme implemented...
  • RZ

  • Referenced in 6 articles [sw08944]
  • supports a rich input language allowing descriptions of complex mathematical structures. RZ does not extract...
  • RACHET

  • Referenced in 10 articles [sw02342]
  • each cluster centroid, RACHET maintains descriptive statistics of constant complexity to enable these choices. RACHET...
  • Convex

  • Referenced in 33 articles [sw07770]
  • CONE can be created from either description with the functions poshull and intersection, respectively ... Convex package can deal with polyhedral complexes (simplicial complexes, for example) and fans...
  • AlgoWiki

  • Referenced in 7 articles [sw35786]
  • description of an algorithm. In addition to classical algorithm properties such as serial complexity, AlgoWiki ... together provides a complete description of the algorithm: its parallel complexity, parallel structure, determinacy, data...
  • KOJAK

  • Referenced in 4 articles [sw09129]
  • event pattern specifications allow a simple description of complex inefficient behavior on a high level...
  • PEPACK

  • Referenced in 25 articles [sw04060]
  • complex palindromic and even pairs of matrices to anti-triangular form. We give explicit descriptions...
  • 3DmhpqAP

  • Referenced in 4 articles [sw08740]
  • analysis of elastic structures of complex mechanical description. In our previous publication [G. Zboinski, Comput...
  • AutoClass

  • Referenced in 70 articles [sw26092]
  • search for the “best” set of class descriptions rather than grouping the cases themselves ... parameters. Approximation is necessitated by the computational complexity of the joint probability, and our marginalization...
  • LBS

  • Referenced in 15 articles [sw12372]
  • descriptions of metabolic, signalling and regulatory networks in terms of reactions between modified complexes, occurring...
  • DescriptiveEnvironment

  • Referenced in 1 article [sw18713]
  • Experimental descriptive complexity. We describe our development and use of DescriptiveEnvironment (DE). This...
  • Pinktoe

  • Referenced in 2 articles [sw25858]
  • trees or trees where the variable description is complex the decision tree diagram is often...
  • BoRiS

  • Referenced in 3 articles [sw06562]
  • fusion device. For the description of the complex 3D geometry we use magnetic coordinates. With...