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

SAcluster
 Referenced in 8 articles
[sw06867]
 large attributed information networks: an efficient incremental computing approach In recent years, many information networks ... propose an efficient algorithm IncCluster to incrementally update the random walk distances given ... edge weight increments. Complexity analysis is provided to estimate how much runtime cost IncCluster ... 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...

Inccluster
 Referenced in 4 articles
[sw06866]
 large attributed information networks: an efficient incremental computing approach In recent years, many information networks ... propose an efficient algorithm IncCluster to incrementally update the random walk distances given ... edge weight increments. Complexity analysis is provided to estimate how much runtime cost IncCluster ... 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...

Poly1305AES
 Referenced in 17 articles
[sw26748]
 compute Poly1305AES at even higher speed. Poly1305AES 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 selfadjusting computations, following ... Incremental gives you a way of building complex computations that can update efficiently in response...

Mozart
 Referenced in 20 articles
[sw04759]
 constraintbased inference, distributed computing, and humancomputer interfaces. As a result, Mozart is unequalled ... power and functionality. Mozart has an interactive incremental development environment and a productionquality 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 resourceconstrained 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...