• GOLEM

  • Referenced in 51 articles [sw24695]
  • GOLEM chooses the one which covers the largest number of positive examples and is consistent...
  • MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • TPTP syntax, allowing a number of ATP experiments. This covers, for example, consistent handling ... proof-local lemmas and translating of a number of Mizar proof constructs into the TPTP...
  • AETG

  • Referenced in 58 articles [sw09715]
  • combinatorial algorithms to generate test sets that cover all valid n-way parameter combinations ... AETG test set grows logarithmically in the number of test parameters. This allows testers...
  • PROMPT

  • Referenced in 9 articles [sw09801]
  • large number of ontologies covering overlapping domains. In order for these ontologies to be reused...
  • Anchor-PROMPT

  • Referenced in 8 articles [sw09802]
  • large number of ontologies covering overlapping domains, which researchers now need to merge or align...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • classes and methods. CLOS contains a number of complex and powerful features ... basic parts of CLOS, which will be covered here, include pretty much everything...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • defined limit on the number of loop iterations in the covered paths. The prototype treats ... structures of variable dimensions, loops with variable numbers of iterations and many infeasible paths. PathCrawler...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • satisfaction and optimization problems over the real numbers. The decision variables, continuous or discrete, have ... operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution set of a given problem...
  • TINA

  • Referenced in 42 articles [sw03280]
  • tool Tina proposes the construction of a number of representations for the behaviour of Petri ... called partial order techniques such as covering steps and/or persistent sets. For Time Petri nets...
  • LYAPACK

  • Referenced in 58 articles [sw12624]
  • last few years, quite a number of approaches for several types of large control problems ... software package LYAPACK (“Lyapunov Package”), which covers one particular approach to a class of large...
  • ADST

  • Referenced in 3 articles [sw02441]
  • messages, where k is the number of servers covering the query range. Moreover, our structure...
  • PARSEC

  • Referenced in 25 articles [sw09610]
  • performance computing applications and used a limited number of synchronization methods. PARSEC includes emerging applications ... characterization shows that the benchmark suite covers a wide spectrum of working sets, locality, data...
  • GiD

  • Referenced in 53 articles [sw07799]
  • engineering. It has been designed to cover all the common needs in the numerical simulations ... read and write data in an unlimited number of formats. GiD’s input and output...
  • MOVE

  • Referenced in 3 articles [sw02550]
  • process consists of a number of independent optimization schemes that cover various aspects...
  • nparACT

  • Referenced in 1 article [sw15696]
  • value for a user-defined number of minutes. IS describes the strength of coupling ... reliable results, actigraphy data should cover a reasonable number of days...
  • iLoc-Hum

  • Referenced in 36 articles [sw22433]
  • Actually, recent evidence has indicated an increasing number of human proteins having multiple subcellular locations ... benchmark dataset of human proteins that covers the following 14 location sites: centrosome, cytoplasm, cytoskeleton...
  • GUI-HDMR

  • Referenced in 20 articles [sw07924]
  • complex model with a large number of input parameters. Furthermore, variance based sensitivity indices ... This guarantees that the input space is covered more uniformly than by using random values...
  • FastFDs

  • Referenced in 10 articles [sw01613]
  • efficient solutions have exponential complexity in the number of attributes of the instance. We develop ... heuristic-driven (DFHD) search for finding minimal covers of hypergraphs. The technique of reducing...
  • Onto-Tools

  • Referenced in 10 articles [sw10974]
  • Once the initial exploratory analysis identified a number of relevant biological processes, specific mechanisms ... quickly which array, or set of arrays, covers best the hypotheses studied. In many situations ... user to translate easily lists of accession numbers, UniGene clusters and Affymetrix probes into...
  • Moca

  • Referenced in 5 articles [sw08801]
  • average, a motorcycle crosses only a constant number of cells within a n×n rectangular ... distributed sufficiently uniformly over the area covered by the grid. This analysis motivates a simple ... confirm the mean trace length and average number of cells crossed by a motorcycle...