• Search: "Graph algorithm"

Showing 121 - 140 of 2,493

121

A review of clique-based overlapping community detection algorithms
Gupta, Sumit Kumar ; Singh, Dhirendra Pratap ; Choudhary, Jaytrilok
Knowledge and Information Systems: An International Journal. 64(8):2023-2058

Academic journal
Save to List
122

Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle
Chen, Ran ; Cohen, Cyril ; Levy, Jean-Jacques ; et al.

Mathematical logic Formal proof Graph algorithm Program verification [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Electronic Resource
Save to List
123

An FPT Algorithm for Temporal Graph Untangling
Dondi, Riccardo ; Misra, Neeldhara ; Wahlström, Magnu ; et al.

Temporal Graph Vertex Cover Graph Algorithm Parameterized Complexity Settore INF/01 - Informa...
Conference
Save to List
124

Finding Islands on Encrypted Graphs Sifreli Çizgelerde Adalari Bulma
Acir, Berker ; Onur, Ertan ; Onur, Cansu Betin
31st IEEE Conference on Signal Processing and Communications Applications, SIU 2023

İstanbul Türkiye connected components graph algorithm homomorphic encryption privacy preservation
Conference
Save to List
125

A Contraction-Recursive Algorithm for Treewidth
Tamaki, Hisao ; Hisao Tamaki

graph algorithm treewidth exact computation BT dynamic programming contraction certifying algorithms
Academic journal
Save to List
126

Connected Vertex Cover on AT-Free Graphs
Mukherjee, Joydeep ; Saha, Tamojit ; Joydeep Mukherjee and Tamojit Saha

Graph Algorithm AT-free graphs Connected Vertex Cover Optimization
Academic journal
Save to List
127

Shortest Beer Path Queries Based on Graph Decomposition
Hanaka, Tesshu ; Ono, Hirotaka ; Sadakane, Kunihiko ; et al.

graph algorithm shortest path problem SPQR tree
Academic journal
Save to List
128

Distributed Sketching Lower Bounds for k-Edge Connected Spanning Subgraphs, BFS Trees, and LCL Problems
Robinson, Peter ; Peter Robinson

Distributed graph algori... graph sketching streaming
Academic journal
Save to List
129

The Message Complexity of Distributed Graph Optimization
Dufoulon, Fabien ; Pai, Shreyas ; Pandurangan, Gopal ; et al.

distributed approximatio... FOS: Computer and inform... message complexity Computer Science - Distr... Distributed graph algori... Distributed, Parallel, a... …
Academic journal
Save to List
130

On $b$-Matching and Fully-Dynamic Maximum $k$-Edge Coloring
El-Hayek, Antoine ; Hanauer, Kathrin ; Henzinger, Monika ; et al.

FOS: Computer and inform... b-matching graph algorithm matching dynamic algorithm Computer Science - Data... …
Academic journal
Save to List
131

Shortest two disjoint paths in conservative graphs
Schlotter, Ildikó Anna ; Ildikó Schlotter

FOS: Computer and inform... QA Mathematics / matemat... conservative weights Shortest paths G.2.2 F.2.2 …
Academic journal
Save to List
132

Eigenvector centrality based algorithm for finding a maximal common connected vertex induced molecular substructure of two chemical graphs
Parisutham, Nirmala ; Rethnasamy, Nadarajan
In Journal of Molecular Structure 15 November 2021 1244

Academic journal
Save to List
133

MMDIT: A tool for the deconvolution and interpretation of mitochondrial DNA mixtures
Mandape, Sammed N. ; Smart, Utpal ; King, Jonathan L. ; et al.
In Forensic Science International: Genetics November 2021 55

Academic journal
Save to List
134

Injective coloring of some subclasses of bipartite graphs and chordal graphs
Panda, B.S. ; Priyamvada
In Discrete Applied Mathematics 11 March 2021 291:68-87

Academic journal
Save to List
135

Fabric defect detection via low-rank decomposition with gradient information and structured graph algorithm
Shi, Boshan ; Liang, Jiuzhen ; Di, Lan ; et al.
In Information Sciences 6 February 2021 546:608-626

Academic journal
Save to List
136

Metaheuristic algorithms for the bandwidth reduction of large-scale matrices
Gonzaga de Oliveira, S. L. ; Carvalho, C.
Journal of Combinatorial Optimization. 43(4):727-784

Academic journal
Save to List
137

Recognizing Tourist Movement Networks Using Big Data Analysis and a Median Support Based Graph Approach
Kaur, Chamandeep ; Deshmukh, Araddhana Manisha Arvind ; Begum, Ahmed Unnisa ; et al.
International Journal of Intelligent Systems and Applications in Engineering; Vol. 11 No. 7s (2023): Advancements in Machine Learning for Computer Science and Decision Support Systems; 708-717

support value sigmoid function Big Data Analysis Markov clustering median graph algorithm
Academic journal
Save to List
138

Knowledge Graphs
Aidan Hogan ; Eva Blomqvist ; Michael Cochez ; et al.
Synthesis Lectures on Data, Semantics, and Knowledge ISBN: 9783031007903
Scopus
RUO. Repositorio Institucional de la Universidad de Oviedo
Universidad de Oviedo (UNIOVI)
instname
ACM Computing Surveys

FOS: Computer and inform... Computer Science - Machi... 505002 Data protection Computer Science - Artif... Ontologie 102001 Artificial Intell... …
Academic journal
Save to List
139

Irregularity Strength of Circulant Graphs Using Algorithmic Approach
Muhammad Ahsan Asim ; Roslan Hasni ; Ali Ahmad ; et al.
IEEE Access, Vol 9, Pp 54401-54406 (2021)

Irregularity Strength Circulant matrix 0102 computer and inform... Graph Labeling 01 natural sciences Optical Code Division Mu... …
Academic journal
Save to List
140

Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle
Chen, Ran ; Cohen, Cyril ; Levy, Jean-Jacques ; et al.
ITP 2019 - 10th International Conference on Interactive Theorem Proving. :13-13

Portland, United States Mathematical logic Program verification Graph algorithm Formal proof [INFO.INFO-LO]Computer S... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter