• gamair

  • Referenced in 242 articles [sw11132]
  • accessible and the author used a fairly smooth way even in the case of advanced...
  • CONOPT

  • Referenced in 161 articles [sw02791]
  • This is especially true for models with fairly nonlinear constraints, particularly when it is difficult...
  • ETPS

  • Referenced in 152 articles [sw06302]
  • years. Students generally learn to use ETPS fairly quickly just by reading the manual (which...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • Kristen Nygaard. Syntactically, it is a fairly faithful superset of ALGOL 60. Simula 67 introduced...
  • SIMPLIcity

  • Referenced in 85 articles [sw14893]
  • faster than existing ones. The system is fairly robust to image alterations...
  • ROWMAP

  • Referenced in 47 articles [sw09627]
  • process ensures order p = 4 already for fairly low dimensions of the Krylov subspaces independently...
  • Hopscotch

  • Referenced in 43 articles [sw00413]
  • storage requirements and ease of programming. Several fairly general conditions are given which ensure convergence...
  • StirMark

  • Referenced in 34 articles [sw19164]
  • discussed the urgent need for fair evaluation procedures for watermarking systems and a first benchmark...
  • PAT

  • Referenced in 30 articles [sw13258]
  • freeness, divergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking...
  • Maria

  • Referenced in 18 articles [sw04127]
  • checking of high-level Petri nets with fairness constraints. The algebra contains powerful built...
  • ModLeanTAP

  • Referenced in 18 articles [sw12368]
  • includes additional search space restrictions and fairness strategies, giving a decision procedure for the logics...
  • CaGe

  • Referenced in 18 articles [sw21206]
  • several formats. If you have a normal, fairly modern UNIX system with Java...
  • QPSchur

  • Referenced in 16 articles [sw06918]
  • specific structure in a computationally efficient and fairly robust manner as compared to other...
  • TLPVS

  • Referenced in 10 articles [sw10024]
  • reducing compassion requirements to justice requirements (strong fairness to weak fairness). Special attention has been...
  • SMV

  • Referenced in 13 articles [sw04135]
  • class of temporal properties, including safety, livenesss, fairness and deadlock freedom, to be specified...
  • ISNaS

  • Referenced in 12 articles [sw00456]
  • equations (also known as transport equations) on fairly general grids by the boundary fitted...
  • SparsePR

  • Referenced in 12 articles [sw25721]
  • noise. In addition, the proposed strategy is fairly general, allowing for a large number...
  • FEMaLeCoP

  • Referenced in 11 articles [sw21179]
  • FEMaLeCoP: fairly efficient machine learning connection prover. FEMaLeCoP is a connection tableau theorem prover based...
  • CUBIC

  • Referenced in 11 articles [sw21235]
  • same time, be highly stable and also fair to standard TCP flows. The implementation...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • software systems of almost any size, from fairly small (under 10,000 source lines...