Results 1 to 20 of 301
Sort by:

  • Rcpp
  • Referenced in 188 articles [sw08385]
  • functions into C++. Sugar takes advantage of lazy evaluation and expression templates to achieve great...

  • BLAST
  • Referenced in 125 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool...

  • ML-KNN
  • Referenced in 58 articles [sw12923]
  • lazy learning approach to multi-label learning. Multi-label learning originated from the investigation ... sets. In this paper, a multi-label lazy learning approach named ML-KNN is presented...

  • BABEL
  • Referenced in 71 articles [sw03018]
  • uses narrowing as the basis of a lazy reduction semantics which embodies both rewriting...

  • TOY
  • Referenced in 55 articles [sw09812]
  • constructor based rewriting logic with lazy non-deterministic functions as the core notion. Other aspects...

  • PSEUDO
  • Referenced in 51 articles [sw01152]
  • PSEUDO: Applications of Streams and Lazy Evaluation to Integrable Models. Nature of problem: Determination...

  • WebGraph
  • Referenced in 45 articles [sw30097]
  • compressed graph without actually decompressing it, using lazy techniques that delay the decompression until...

  • OFMC
  • Referenced in 26 articles [sw09466]
  • terminating. The two major techniques are the lazy intruder, which is a symbolic representation ... general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction...

  • MiniMaxSat
  • Referenced in 34 articles [sw09732]
  • based and subtraction-based lower bounding; and lazy propagation with the two-watched literals scheme...

  • Leibniz
  • Referenced in 31 articles [sw12871]
  • discovery from data - data estimation by a lazy learner - dimension reduction of models - decomposition...

  • QuBE++
  • Referenced in 28 articles [sw00766]
  • first QBF reasoning engine that uses lazy data structures both for unit clauses propagation...

  • SmallCheck
  • Referenced in 19 articles [sw09736]
  • SmallCheck and Lazy SmallCheck: Automatic exhaustive testing for small values. This paper describes two Haskell ... QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based generators to obtain...

  • CoALP
  • Referenced in 17 articles [sw16105]
  • Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution ... CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...

  • Spartacus
  • Referenced in 14 articles [sw12426]
  • including a new technique that we call lazy branching. We evaluate the practical impact ... pattern-based blocking and lazy branching for the basic modal logic K and observe high...

  • Hood
  • Referenced in 18 articles [sw13680]
  • small post-mortem debugger for the lazy functional language Haskell. It is based...

  • LOOK
  • Referenced in 12 articles [sw02276]
  • LOOK: A lazy object-oriented kernel design for geometric computation. We describe and discuss ... floating-point filter techniques and a lazy evaluation scheme with the exact number types provided...

  • Freja
  • Referenced in 17 articles [sw13678]
  • three systems for tracing and debugging lazy functional programs. In this paper we compare three...

  • Fudgets
  • Referenced in 16 articles [sw10077]
  • Fudgets - a graphical user interface in a lazy functional language. Fudgets is primarily a Graphical...

  • Sparkle
  • Referenced in 14 articles [sw09803]
  • Clean and has a semantics based on lazy graph-rewriting. This allows reasoning to take...

  • OpenFst
  • Referenced in 12 articles [sw00653]
  • labels, states, and weights and the lazy evaluation of many of its operations.\parFurther information...