Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,583,493 papers from all fields of science
Search
Sign In
Create Free Account
Depth-first search
Known as:
Forward edge
, DFS
, Depth first search
Expand
Depth-first search (DFS) is an algorithm for traversing or searching tree or graph data structures. One starts at the root (selecting some arbitrary…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Alpha–beta pruning
Analysis of algorithms
Backtracking
Beam stack search
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
A Proposed Test Case Generation Technique Based on Activity Diagrams
P. Boghdady
,
N. Badr
,
M. Hashem
,
M. Tolba
2011
Corpus ID: 16955432
— Software testing is an essential and integral part of the software development process. The testing effort is divided into…
Expand
Highly Cited
2011
Highly Cited
2011
Multi-Core LTSmin: Marrying Modularity and Scalability
A. Laarman
,
J. Pol
,
Michael Weber
NASA Formal Methods
2011
Corpus ID: 16315593
The LTSMIN toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (state spaces), typically…
Expand
Highly Cited
2010
Highly Cited
2010
The train driver recovery problem - A set partitioning based model and solution method
Natalia J. Rezanova
,
D. Ryan
Computers & Operations Research
2010
Corpus ID: 11744708
2009
2009
Synchronizer Behavior and Analysis
I. W. Jones
,
Suwen Yang
,
M. Greenstreet
15th IEEE Symposium on Asynchronous Circuits and…
2009
Corpus ID: 27507384
Synchronizer characterization is non-trivial. The exponential response to parameter changes makes this task a challenge, which is…
Expand
Highly Cited
2008
Highly Cited
2008
Integrated predictive control and scheduling co-design for networked control systems
Yun‐Bo Zhao
,
Guoping Liu
,
D. Rees
2008
Corpus ID: 62096691
A predictive control and scheduling co-design approach is proposed to deal with the controller and scheduler design for a set of…
Expand
Highly Cited
2006
Highly Cited
2006
Mining Shifting-and-Scaling Co-Regulation Patterns on Gene Expression Profiles
Xin Xu
,
Ying Lu
,
A. Tung
,
Wei Wang
IEEE International Conference on Data Engineering
2006
Corpus ID: 11248403
In this paper, we propose a new model for coherent clustering of gene expression data called reg-cluster. The proposed model…
Expand
Highly Cited
2006
Highly Cited
2006
Clustering graphs by weighted substructure mining
K. Tsuda
,
Taku Kudo
International Conference on Machine Learning
2006
Corpus ID: 5375177
Graph data is getting increasingly popular in, e.g., bioinformatics and text processing. A main difficulty of graph data…
Expand
2002
2002
Selective depth-first game-tree search
T. Marsland
,
Y. Björnsson
2002
Corpus ID: 67367103
This thesis continues an ongoing study of algorithms for selective depth-first expansion of game trees (for two-person zero-sum…
Expand
2001
2001
A study of the impact of student background and preparedness on outcomes in CS I
M. Morrison
,
Timothy S Newman
Technical Symposium on Computer Science Education
2001
Corpus ID: 13967676
A study that assesses the significance of student background characteristics on outcomes in a depth-first CS I course is…
Expand
1993
1993
Halting Problem of One Binary Horn Clause is Undecidable
P. Devienne
,
P. Lebègue
,
J. Routier
Symposium on Theoretical Aspects of Computer…
1993
Corpus ID: 125604212
This paper proposes a codification of the halting problem of any Turing machine in the form of only one right-linear binary Horn…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE