
Graphs
 Referenced in 106 articles
[sw12277]
 singlesource (SSSP) and allpairs shortestpath (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 shortestpath or distance queries, which should be answered ... selected approaches, algorithms, and results on shortestpath queries from these fields, with the main...

VAMPIRE
 Referenced in 241 articles
[sw02918]
 uses the KnuthBendix 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...

CTLRP
 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 subgraphs. 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 pathbased indexing scheme which is embedded in ENAXS...

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

Winding_Number_Eval
 Referenced in 1 article
[sw32200]
 point, while the Cauchy index can approximate how the path winds. This entry provides...

MUSCODII
 Referenced in 19 articles
[sw13053]
 differentialalgebraic equations (DAE) of index one. MUSCODII 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 roottoleaf 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 Nonhomogeneous 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 shortestpath algorithm, redblack 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...

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