
Church
 Referenced in 54 articles
[sw08946]
 stochastic memoizer, which enables simple description of many complex nonparametric 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...

IF2.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 systemsonachip. It enables systemlevel...

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