• Lua

  • Referenced in 40 articles [sw10207]
  • machine, and has automatic memory management with incremental garbage collection, making it ideal for configuration...
  • 2D triangulations

  • Referenced in 39 articles [sw11159]
  • hull of its vertices. Triangulations are built incrementally and can be modified by insertion...
  • PBS

  • Referenced in 38 articles [sw04622]
  • decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include: Static/Dynamic decision heuristics...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • node to existing nodes; (2) incremental growth of the network; (3) geographical distribution of nodes...
  • Equator

  • Referenced in 33 articles [sw13158]
  • lower and upper bounds and an increment. Equator has no plotting capability, but to graph...
  • iPro54-PseKNC

  • Referenced in 32 articles [sw22411]
  • composition’, which was further optimized by the incremental feature selection procedure. The performance of iPro54...
  • ITP

  • Referenced in 31 articles [sw09808]
  • them, as a way to support incremental development of specifications. Membership equational logic...
  • STRIPACK

  • Referenced in 30 articles [sw00921]
  • Fortran 77 software package that employs an incremental algorithm to construct a Delaunay triangulation...
  • Alloy

  • Referenced in 30 articles [sw01247]
  • variety of idioms, and supports incremental construction of models. Alloy is analyzed by translation...
  • RRIA

  • Referenced in 16 articles [sw02558]
  • rough set and rule tree based incremental knowledge acquisition algorithm. As a special ... human brain is learning new knowledge, incremental learning is an important topic ... rough set and rule tree based incremental knowledge acquisition algorithm. It can learn from ... domain data set incrementally. Our simulation results show that our algorithm can learn more quickly...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • IPSEN-environment: An integrated and incremental project support environment. The IPSEN project (for Integrated, Incremental...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • OpenSMT solver. This paper describes OpenSMT, an incremental, efficient, and open-source SMT-solver. OpenSMT...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • possible to develop and analyze a model incrementally, with Alcoa investigating the consequences of whatever...
  • iNuc-PhysChem

  • Referenced in 24 articles [sw22453]
  • vector via the IFS (incremental feature selection) procedure to optimize the feature...
  • Paco

  • Referenced in 22 articles [sw10885]
  • coinductive proofs in a more compositional and incremental fashion than with standard Tarski-style constructions...
  • iClingo

  • Referenced in 13 articles [sw11388]
  • iclingo is an incremental ASP system implemented on top of clingo. It is based ... keep their previous states while increasing an incremental parameter. As regards grounding, at each incremental...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • core reachability (including multi-core compression and incremental hashing). The synergy effects in the LTSmin...
  • Poly1305-AES

  • Referenced in 21 articles [sw26748]
  • even higher speed. Poly1305-AES is parallelizable, incremental, and not subject to any intellectual-property...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • power and functionality. Mozart has an interactive incremental development environment and a production-quality implementation...
  • AddIntent

  • Referenced in 13 articles [sw02022]
  • AddIntent: A new incremental algorithm for constructing concept lattices. An incremental concept lattice construction algorithm...