• Graphs

  • Referenced in 106 articles [sw12277]
  • single-source (SSSP) and all-pairs shortest-path (APSP) problems: we are first presented with ... compute certain information (a data structure or index) to prepare for the next phase. After ... this preprocessing step, applications may ask shortest-path or distance queries, which should be answered ... selected approaches, algorithms, and results on shortest-path queries from these fields, with the main...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • uses the Knuth-Bendix ordering. The lexicographic path ordering has been implemented recently but will ... this CASC. A number of efficient indexing techniques are used to implement all major operations...
  • APEX

  • Referenced in 12 articles [sw18893]
  • APEX: an adaptive path index for XML data. The emergence of the Web has increased ... data. To overcome the inefficiency, several path indexes have been proposed in the research community ... root element in XML data. Such path indexes may result in performance degradation ... paper, we propose APEX, an adaptive path index for XML data. APEX does not keep...
  • CTL-RP

  • Referenced in 4 articles [sw25264]
  • extension of CTL with indexed path formulae. The calculus itself consists...
  • HPRD

  • Referenced in 2 articles [sw02834]
  • graph into several sub-graphs. Path index manages frequent RDF path patterns for long path...
  • succinct

  • Referenced in 3 articles [sw29758]
  • unit tests, and the semi_index and path_decomposed_tries projects for examples...
  • eXist

  • Referenced in 16 articles [sw01467]
  • native XML database features. An enhanced indexing scheme at the architecture’s core supports quick ... this scheme, we extend the application of path join algorithms to implement most parts...
  • ENAXS

  • Referenced in 1 article [sw02393]
  • processing. In addition, we propose a path-based indexing scheme which is embedded in ENAXS...
  • MAGP

  • Referenced in 9 articles [sw14019]
  • class of real-valued stochastic processes indexed on a compact subset ... with almost surely absolutely continuous sample paths. We obtain an implicit formula for the distributions...
  • MUSCOD-II

  • Referenced in 19 articles [sw13053]
  • differential-algebraic equations (DAE) of index one. MUSCOD-II can treat system models formulated either ... final state constraints, periodicity conditions, or path constraints. Furthermore, a unique multistage formulation allows...
  • PRIX

  • Referenced in 11 articles [sw18898]
  • sequences. We propose a new way of indexing XML documents and processing twig patterns ... breaking the twig into root-to-leaf paths and processing these paths individually. Furthermore...
  • spinebil

  • Referenced in 1 article [sw35473]
  • Studying Projection Pursuit INdex functions through Exploration Based on Interpolated tour paths and Line graphs...
  • SING

  • Referenced in 5 articles [sw18904]
  • search In Non-homogeneous Graphs), a novel indexing system able to cope with large graphs ... small subgraph, subtree or path. Each graph in the database is annotated with...
  • Critic2

  • Referenced in 0 articles [sw20028]
  • interactions (NCI) index, (iv) generate relevant graphical representations including lines, planes, gradient paths, contour plots...
  • DescribeX

  • Referenced in 1 article [sw36788]
  • XPath, and generalizes many of the XML indexing and summarization approaches in the literature. DescribeX ... declaratively defined and refined by means of path regular expressions on axes, or axis path...
  • Performance Index

  • Referenced in 0 articles [sw32901]
  • small Simulink library includes three performance index measurements: the integral of the sequared error ... folder then add this folder to MATLAB path. Then, this library should be seen from...
  • TiML

  • Referenced in 1 article [sw27564]
  • discharged by an SMT solver. Type and index inference are supported to lower annotation burden ... list operations, merge sort, Dijkstra’s shortest-path algorithm, red-black trees, Braun trees, functional...
  • RTEHunter

  • Referenced in 0 articles [sw25376]
  • such as null pointer dereference, bad array indexing, division by zero) in Java programs without ... tree, composed of all the possible execution paths of the program. RTEHunter detects runtime issues...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...