• MathSAT

  • Referenced in 56 articles [sw09449]
  • predicate abstraction), an incremental interface (for BMC), and computation of unsatisfiable cores and Craig interpolants...
  • SA-cluster

  • Referenced in 8 articles [sw06867]
  • large attributed information networks: an efficient incremental computing approach In recent years, many information networks ... propose an efficient algorithm Inc-Cluster to incrementally update the random walk distances given ... edge weight increments. Complexity analysis is provided to estimate how much runtime cost Inc-Cluster ... save. We further design parallel matrix computation techniques on a multicore architecture. Experimental results demonstrate...
  • Gringo

  • Referenced in 97 articles [sw04630]
  • answer sets of such programs can be computed by clasp, which is a solver ... programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving...
  • Inc-cluster

  • Referenced in 4 articles [sw06866]
  • large attributed information networks: an efficient incremental computing approach In recent years, many information networks ... propose an efficient algorithm Inc-Cluster to incrementally update the random walk distances given ... edge weight increments. Complexity analysis is provided to estimate how much runtime cost Inc-Cluster ... save. We further design parallel matrix computation techniques on a multicore architecture. Experimental results demonstrate...
  • Naiad

  • Referenced in 4 articles [sw32529]
  • ability to perform iterative and incremental computations. Although existing systems offer some of these features...
  • TetGen

  • Referenced in 151 articles [sw04046]
  • aimed to support numerical methods and scientific computing. The problem of quality tetrahedral mesh generation ... exact geometric predicates. The essential algorithms include incremental Delaunay algorithms for inserting vertices, constrained Delaunay...
  • PARAMESH

  • Referenced in 99 articles [sw00677]
  • large and important class of computational models, those using structured, logically Cartesian meshes. The package ... package can provide them with an incremental evolutionary path for their code, converting it first...
  • REVE

  • Referenced in 68 articles [sw28907]
  • Computer experiments with the REVE term rewriting system generator. A term rewriting system generator called ... integrated into the algorithms. REVE uses an incremental termination method based on recursive decomposition ordering...
  • Poly1305-AES

  • Referenced in 17 articles [sw26748]
  • compute Poly1305-AES at even higher speed. Poly1305-AES is parallelizable, incremental, and not subject...
  • Isar

  • Referenced in 140 articles [sw04599]
  • actually formalizing parts of mathematics and computer science, there are still obstacles in addressing ... editing. Thus proof texts may be developed incrementally by issuing proper document constructors, including forward...
  • iClingo

  • Referenced in 12 articles [sw11388]
  • incremental parameter. As regards grounding, at each incremental step, the goal is to produce only ... solver that accumulates ground rules and computes answer sets for them...
  • Incremental

  • Referenced in 1 article [sw34420]
  • Incremental: A library for incremental computations. A library for building self-adjusting computations, following ... Incremental gives you a way of building complex computations that can update efficiently in response...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart is unequalled ... power and functionality. Mozart has an interactive incremental development environment and a production-quality implementation...
  • Tegra

  • Referenced in 1 article [sw32521]
  • memory representation for both graph and intermediate computation state. For this, it leverages per- sistent ... store, and couples it with an incremental computation model which can leverage these compact states...
  • RDFox

  • Referenced in 2 articles [sw33097]
  • efficient parallel reasoning algorithms for the computation and incremental update of datalog materialisations with efficient...
  • Blaise

  • Referenced in 8 articles [sw29867]
  • computations arising in probabilistic inference, along with means of composition that support easy incremental development ... visualization tools, so you can watch your computations unfold during development and debugging without sacrificing...
  • SimpPers

  • Referenced in 1 article [sw28221]
  • Persistence for Simplicial Maps 30th Annu. Sympos. Comput. Geom. SoCG 2014. There are two modes ... build the sequence of simplicial maps incrementally, namely, compute the elementary insertions and collapses that ... incremental processing. However, there are situations where users can only compute the vertex maps which ... general mode. This mode is not incremental and involves recomputation for each simplicial map, thus...
  • CARRADS

  • Referenced in 1 article [sw00106]
  • networks. Conventional incremental learning methods are computationally expensive for resource-constrained nodes ... this paper, we propose CARRADS, a computationally efficient methodology for adapting the intrusion detection model ... incrementally update the detection model using the new patterns with minimum computational overhead. CARRADS uses ... using some innovative techniques the computational overhead of incremental update is reduced by a factor...
  • Jellyfish

  • Referenced in 25 articles [sw12431]
  • with a biased, random ordering of the increments. This biased ordering allows for a parallel ... Netflix Prize data set, prior art computes rating predictions in approximately 4 h, while Jellyfish...
  • svcm

  • Referenced in 2 articles [sw24570]
  • approximation. The latter one is computationally more efficient. Resolution increment is enabled...