• Charon

  • Referenced in 20 articles [sw19755]
  • interacting hybrid systems. For a hierarchical description of the system architecture, Charon supports building complex ... hiding, and parallel composition. For a hierarchical description of the behaviour of atomic components...
  • SMV

  • Referenced in 13 articles [sw04135]
  • designed to allow the description of finite state system that range from completely synchronous ... processes. The language provides for modular hierarchical descriptions, and for the definition of reusable components...
  • MacRad

  • Referenced in 3 articles [sw17382]
  • coding image content as a hierarchical image description index using the relational format. The hierarchical...
  • CACE

  • Referenced in 1 article [sw03176]
  • interactive design process. The hierarchical description of the model, based on an interpreter solution...
  • H-PILoT

  • Referenced in 7 articles [sw23305]
  • PILoT. This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation...
  • Beagle

  • Referenced in 3 articles [sw13649]
  • refined version of the hierarchic superposition calculus. This system description focuses on Beagle’s proof...
  • SAINTETIQ

  • Referenced in 17 articles [sw02290]
  • model named SAINTETIQ. Based on a hierarchical conceptual clustering algorithm, SAINTETIQ incrementally builds a summary ... make highly intelligible the summary descriptions...
  • nlmeU

  • Referenced in 5 articles [sw07431]
  • incremental description of a modelling tool used extensively in the analysis of hierarchical structured datasets ... over three chapters and consists of a description of datasets underlining the difficulties in analysis...
  • RACHET

  • Referenced in 10 articles [sw02342]
  • This paper presents a hierarchical clustering method named RACHET (Recursive Agglomeration of Clustering Hierarchies ... hypersphere. For each cluster centroid, RACHET maintains descriptive statistics of constant complexity to enable these ... wide class of centroid-based hierarchical clustering algorithms, such as centroid, medoid, and Ward...
  • BITE

  • Referenced in 7 articles [sw13222]
  • analysis of event history data using flexible hierarchical models and Bayesian inference, with a particular ... application of flexible intensities as a description of the distribution of lifetimes. BITE provides...
  • Metadata Editor

  • Referenced in 2 articles [sw33687]
  • journals, proceedings, monographs) into hierarchical structures, article building, detailed metadata description up to the level...
  • libDDD

  • Referenced in 8 articles [sw04096]
  • inductive homomorphisms; Support for hierarchy of the description with SDD; Automatic support for saturation style ... Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams...
  • SIMO

  • Referenced in 1 article [sw41533]
  • include the hierarchical structures for data and simulation descriptions, and an extendable model base...
  • AMRFLEX3D

  • Referenced in 3 articles [sw03292]
  • self-adaptive grid structure. A hierarchically ordered level system, which reflects different refinement stages, serves ... scaffold. After a description of sensors used for refining interesting flow phenomena, an overview about...
  • 3DmhpqAP

  • Referenced in 4 articles [sw08740]
  • analysis of elastic structures of complex mechanical description. In our previous publication [G. Zboinski, Comput ... investigated the issue of hierarchical models and approximations of such structures. We applied...
  • PatchNet

  • Referenced in 1 article [sw33120]
  • information. The hierarchical structure of a PatchNet allows a coarse-to-fine description...
  • MDLChunker

  • Referenced in 2 articles [sw20425]
  • simplest structures, it implements a dynamic hierarchical chunking mechanism in which the decision whether ... information-theoretic criterion, the Minimum Description Length (MDL) principle. We present theoretical justifications for this...
  • TGView3D

  • Referenced in 2 articles [sw32443]
  • TGView3D system description: 3-dimensional visualization of theory graphs. We describe TGView3D, an interactive ... extends force-directed layouta with a hierarchical component. Because of the limitations of regular displays...
  • jMocha

  • Referenced in 4 articles [sw24777]
  • grows exponentially with the size of the description, scalability remains a challenge. We have thus ... unstructured state-transition graphs, it supports the hierarchical modeling framework of reactive modules. jMocha...
  • OntoLog

  • Referenced in 2 articles [sw33858]
  • uses an annotation scheme based on hierarchical ontologies, and an RDF-based data model that ... Dublin Core is used as a default description scheme. The paper also describes an ontology...