• SATCHMO

  • Referenced in 96 articles [sw06619]
  • systems which used model generation, i.e. a bottom-up proof procedure. The prover was given...
  • Timbuk

  • Referenced in 46 articles [sw06351]
  • Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata) Timbuk...
  • AMUSE

  • Referenced in 24 articles [sw11915]
  • this method can be viewed as a bottom-up core extraction procedure which...
  • SUN

  • Referenced in 13 articles [sw28156]
  • model is a Bayesian framework from which bottom-up saliency emerges naturally as the self ... overall saliency (incorporating top-down information with bottom-up saliency) emerges as the pointwise mutual ... framework demonstrates that our model’s bottom-up saliency maps perform as well...
  • GASP

  • Referenced in 13 articles [sw07096]
  • program. The proposed methodology maintains a bottom-up approach to the computation of answer sets...
  • Polychrony

  • Referenced in 12 articles [sw12302]
  • design exploration by using top-down and bottom-up design methodologies formally supported by design...
  • unbalhaar

  • Referenced in 11 articles [sw12246]
  • wavelets. The package implements top-down and bottom-up algorithms for nonparametric function estimation...
  • Dendro

  • Referenced in 7 articles [sw29068]
  • octrees. Dendro, comprises four main modules: a bottom-up octree generation and 2:1 balancing ... multilevel octree forests. We describe a bottom-up algorithm for constructing the coarser multigrid levels...
  • OpenVolumeMesh

  • Referenced in 6 articles [sw12778]
  • volumentric meshes. One can additionally compute bottom-up incidences, which means that for each entity ... incidence relations, the top-down and the bottom-up incidences, are used to provide...
  • SicoTHEO

  • Referenced in 8 articles [sw09982]
  • search mode (top-down combined with bottom-up, SiCoTHEO-DELTA...
  • Elkhound

  • Referenced in 8 articles [sw00236]
  • worklist algorithm that can guarantee bottom-up execution of actions for acyclic grammars. These ideas...
  • VATA

  • Referenced in 7 articles [sw09917]
  • semi-symbolic encoding, we provide both bottom-up and top-down semi-symbolic representations...
  • MADMX

  • Referenced in 6 articles [sw35273]
  • construction of maximal dense motifs in a bottom-up fashion, while avoiding the generation...
  • COMODI

  • Referenced in 6 articles [sw02604]
  • assemble computational projects. The framework is constructed bottom-up with regular functions as atomic components...
  • SYGRAF

  • Referenced in 4 articles [sw21247]
  • implemented using database techniques, namely, mostly bottom-up in combination with certain top-down elements ... terminate under neither pure top-down nor bottom-up evaluation strategies...
  • MTBDD

  • Referenced in 5 articles [sw12873]
  • semi-symbolic encoding, we provide both bottom-up and top-down semi-symbolic representations...
  • LIGHT

  • Referenced in 3 articles [sw02357]
  • feature constraint language for deduction-based bottom-up parsing with typed-unification grammars. We overview ... formal definition, as a logic language operating bottom-up inferences over OSF-terms...
  • hts

  • Referenced in 4 articles [sw31355]
  • time series. The available forecast methods include bottom-up, top-down, optimal combination reconciliation (Hyndman...
  • DAnTE

  • Referenced in 4 articles [sw35337]
  • designed to address challenges associated with quantitative bottom-up, shotgun proteomics data. This tool...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • paper we re-examine the use of bottom-up approaches to the construction of logic...