• gamair

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

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

  • Referenced in 157 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 87 articles [sw14893]
  • faster than existing ones. The system is fairly robust to image alterations...
  • FAIR.m

  • Referenced in 51 articles [sw34733]
  • FAIR stands for Flexible Algorithms for Image Registration and is a combination of a book...
  • ROWMAP

  • Referenced in 48 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 33 articles [sw13258]
  • freeness, divergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking...
  • Maria

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

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

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

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

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

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

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

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

  • Referenced in 13 articles [sw06314]
  • numerical integration schemes are available, which support fairly general front advance functions (”speed functions...
  • CUBIC

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