过去一年中添加的文章，按日期排序
Efficient algorithms for reachability and path queries on temporal bipartite graphs
10 天前 - … graphs. To fill this research gap, we study the reachability problem on temporal
bipartite graphs … Specifically, a vertex u reaches a vertex w in a temporal bipartite graph G if u …
bipartite graphs … Specifically, a vertex u reaches a vertex w in a temporal bipartite graph G if u …
Model checking properties with identity binding in space-time
L BUSSI - 2024 - etd.adm.unipi.it
30 天前 - … , and the properties of interest often concern reachability over … temporal operators
and provide a linear-time semantics over finite traces. The considered models are graphs…
and provide a linear-time semantics over finite traces. The considered models are graphs…
Reachability in temporal graphs under perturbation
33 天前 - … graphs can be used to understand spread of infection, … Due to delays and errors
in reporting, temporal graphs … Within this model, we investigate temporal reachability and …
in reporting, temporal graphs … Within this model, we investigate temporal reachability and …
On Temporal Bipartite Graphs and Their Application in Disease Spread Prediction
R Su - 2024 - winnspace.uwinnipeg.ca
34 天前 - … proposed for evaluating reachability queries on a temporal bipartite graph, with a
… graphs and multi-path transmission graphs are in fact a kind of extension of the reachability …
… graphs and multi-path transmission graphs are in fact a kind of extension of the reachability …
tracES++: Applying incremental computation to temporal information diffusion analysis for online object traceability
HL Gaza, J Byun - IEEE Access, 2024 - ieeexplore.ieee.org
35 天前 - … to temporal reachability, so temporal graph analysis is proposed to resolve the
scalability issue. Despite the resolution, the system enhanced by temporal graph … temporal graph …
scalability issue. Despite the resolution, the system enhanced by temporal graph … temporal graph …
Check for updates A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs
73 天前 - … as a cascade graph, global graph, or an r-reachable graph. However, the … graph
architectures and captures temporal subtleties. In order to evaluate the implications of temporal …
architectures and captures temporal subtleties. In order to evaluate the implications of temporal …
Towards Linear Spanners in All Temporal Cliques
S Angrick, B Bals, T Friedrich, H Gawendowicz… - arXiv preprint arXiv …, 2024 - arxiv.org
102 天前 - … temporal spanners in temporal cliques, ie, sparse subgraphs of complete temporal
graphs that ensure all-pairs reachability … on temporal graphs where the underlying graph is a …
graphs that ensure all-pairs reachability … on temporal graphs where the underlying graph is a …
Model Checking Safe, Strongly Persistent Petri Nets
E Best, R Devillers - Petri Net Primer: A Compendium on the Core Model …, 2024 - Springer
131 天前 - … reachability and liveness. A model checker is an algorithm with two input parameters,
deciding the truth or falsehood of a given temporal … weakly connected marked graph. Let …
deciding the truth or falsehood of a given temporal … weakly connected marked graph. Let …
In search of the lost tree: Hardness and relaxation of spanning trees in temporal graphs
A Casteigts, T Corsini - International Colloquium on Structural Information …, 2024 - Springer
174 天前 - … Reachability in temporal graphs is commonly defined in terms of … [14] for a study
of how these various settings impact the expressivity of temporal graphs in terms of reachability. …
of how these various settings impact the expressivity of temporal graphs in terms of reachability. …
A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs
188 天前 - … be described as a cascade graph, global graph, or an r-reachable graph. However,
the majority … Most of these methods emphasize the impact of temporal sequences and graph …
the majority … Most of these methods emphasize the impact of temporal sequences and graph …