• Pellet

  • Referenced in 91 articles [sw07019]
  • incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information...
  • APEX

  • Referenced in 12 articles [sw18893]
  • updated incrementally according to the changes of query workloads. Experimental results with synthetic and real...
  • ImageGrouper

  • Referenced in 2 articles [sw13856]
  • assume query examples are added incrementally. Second, the query specification and result display are done...
  • SBQL

  • Referenced in 3 articles [sw03486]
  • development of methods of incremental altering of cached query results after database updates. This paper...
  • 2D triangulations

  • Referenced in 33 articles [sw11159]
  • hull of its vertices. Triangulations are built incrementally and can be modified by insertion ... Delaunay and regular triangulations offer nearest neighbor queries and primitives to build the dual Voronoi...
  • Kojaph

  • Referenced in 1 article [sw18980]
  • interact with the query results and visually explore the graph incrementally, starting from such results...
  • iJulienne

  • Referenced in 5 articles [sw09903]
  • causality along the trace in order to incrementally generate highly reduced program and trace slices ... iJulienne is also endowed with a trace querying mechanism that increases flexibility and reduction power...
  • TMG

  • Referenced in 10 articles [sw04180]
  • tdms from text collections and for the incremental modification of these tdms by means ... term-weighting policies on the performance of querying and clustering tasks...
  • CouchDB

  • Referenced in 5 articles [sw11079]
  • with JSON documents. Access your documents and query your indexes with your web browser ... your apps, efficiently using CouchDB’s incremental replication. CouchDB supports master-master setups with automatic...
  • XASP

  • Referenced in 3 articles [sw13876]
  • store of clauses that can be incrementally asserted or deleted by an XSB program. Clauses ... XASP. In the XNMR interface a query Q is evaluated as is any other query...
  • IPSILON

  • Referenced in 1 article [sw21606]
  • visual information analysis. In 2-D applications, incremental parsing decomposes an image into elementary patches ... matching, and the other two based upon query-by-semantic-example and query-by-visual...
  • CyGraph

  • Referenced in 0 articles [sw22314]
  • cyberattacks, defenses, and mission impacts. It captures incremental attack vulnerability, security events, and mission dependencies ... deeper inspection. CyGraph also supports CyQL (CyGraph Query Language), a domain-specific query language...
  • CGAL

  • Referenced in 305 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1502 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GrGen

  • Referenced in 20 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...
  • LEDA

  • Referenced in 240 articles [sw00509]
  • In the core computer science areas -- data structures...
  • MapReduce

  • Referenced in 205 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5178 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 10365 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 483 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...