Search results for "depth-first search"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Zhenjiang Li, J. J. Garcia-Luna-Aceves	Finding multi-constrained feasible paths by using depth-first search.	Wireless Networks	2007	DBLP DOI BibTeX RDF	Multi-constrained path selection, Success ratio, Existence percentage, Competitive ratio, Depth-first search
3	Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain	Snap-Stabilizing Depth-First Search on Arbitrary Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, stabilization, depth-first search
3	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
3	Jop F. Sibeyn, James Abello, Ulrich Meyer	Heuristics for semi-external depth first search on directed graphs.	SPAA	2002	DBLP DOI BibTeX RDF	strong components, graph algorithms, depth first search, external memory
3	Chen-Hsing Peng, Biing-Feng Wang, Jia-Shung Wang	Recognizing Unordered Depth-First Search Trees of an Undirected Graph in Parallel.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Depth-first search trees, parallel algorithms, spanning trees, PRAM, the Euler-tour technique
3	Jia-Shung Wang, Biing-Feng Wang, Chen-Hsing Peng	Recognizing depth-first-search trees in parallel. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	depth-first-search trees, parallel algorithms, parallel algorithm, computational complexity, directed graphs, time complexity, spanning tree, search problems, undirected graph, tree searching, speed-up, EREW PRAM model
3	Ming-Syan Chen, Kang G. Shin	Depth-First Search Approach for Fault-Tolerant Routing in Hypercube.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	obstructed node, performance evaluation, performance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, Hamming distance, fault-tolerant routing, depth-first search, hypercube multicomputers, destination node, component failures
2	Ye Qiu-Sun	Realization of Depth-first Search Based AI Properties of VCR.	WKDD	2009	DBLP DOI BibTeX RDF
2	Jeremy T. Engle, Edward L. Robertson	Depth first algorithms and inferencing for AFD mining.	IDEAS	2009	DBLP DOI BibTeX RDF	Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search
2	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
2	William Yeoh, Ariel Felner, Sven Koenig	IDB-ADOPT: A Depth-First Search DCOP Algorithm.	CSCLP	2008	DBLP DOI BibTeX RDF	Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP
2	Yonghong Chen, Xing Liu, Vaithianathan Venkatasubramanian	Fast Algorithms for Detecting Circular VAR Flows in Large Power-Flow Models.	HICSS	2008	DBLP DOI BibTeX RDF	Loop flows, power-flow studies, Directed graphs, depth-first search, electric power system
2	Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar	DFS Based Partial Pathways in GA for Protein Structure Prediction.	PRIB	2008	DBLP DOI BibTeX RDF	genetic algorithm, protein structure prediction, Depth-first search, lattice model
2	Hiroki Arimura, Takeaki Uno, Shinichi Shimozono	Time and Space Efficient Discovery of Maximal Geometric Graphs.	Discovery Science	2007	DBLP DOI BibTeX RDF	closed graph mining, rightmost expansion, polynomial delay polynomial space enumeration algorithms, depth-first search, geometric graphs
2	Roman Barták, Hana Rudová	Limited assignments: a new cutoff strategy for incomplete depth-first search.	SAC	2005	DBLP DOI BibTeX RDF	search, constraint satisfaction
2	Zhenjiang Li, J. J. Garcia-Luna-Aceves	Solving The Multi-Constrained Path Selection Problem By Using Depth First Search.	QSHINE	2005	DBLP DOI BibTeX RDF
2	Mhand Hifi	Dynamic Programming and Hill-Climbing Techniques for Constrained Two-Dimensional Cutting Stock Problems.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	dynamic programming, heuristics, hill-climbing, depth-first search, knapsacking, cutting stock
2	Lars Arge, Ulrich Meyer, Laura Toma, Norbert Zeh	On External-Memory Planar Depth First Search.	WADS	2001	DBLP DOI BibTeX RDF
2	Ivan Stojmenovic, Mark Russell, Bosko Vukojevic	Depth First Search and Location Based Localized Routing and QoS Routing in Wireless Networks. (PDF / PS)	ICPP	2000	DBLP DOI BibTeX RDF
2	Clifton Davis, Christoph F. Eick	A heuristic search based factoring tool.	ICTAI	2000	DBLP DOI BibTeX RDF	heuristic search based factoring tool, RSA cryptography, state-based search, heuristic formula, pseudo-smooth integers, security, cryptography, heuristic programming, depth first search, tree searching
2	Raul H. C. Lopes, Mark Tarver	Inducing Theorem Provers from Proofs. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving
2	David J. King, John Launchbury	Structuring Depth-First Search Algorithms in Haskell.	POPL	1995	DBLP DOI BibTeX RDF	Haskell
2	Mohamed Naimi	Parallel assignment to distinct identities in arbitrary networks.	ICCCN	1995	DBLP DOI BibTeX RDF	sequential distributed algorithm, parallel assignment, distinct identities, parallel distributed algorithm, distributed system nodes, initiator channel, children channel, outgoing channels, upper bound time transmission, parallel algorithms, multiprocessor interconnection networks, time complexity, communication complexity, spanning tree, depth-first search, network diameter, rooted tree, arbitrary network, synchronous distributed systems
2	Yannis E. Ioannidis, Raghu Ramakrishnan, Linda Winger	Transitive Closure Algorithms Based on Graph Traversal.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	node reachability, transitive closure, depth-first search, path computations
2	Chee Fen Yu, Benjamin W. Wah	Efficient Branch-and-Bound Algorithms on a Two-Level Memory System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	two-level memory system, storage management, virtual-memory, storage allocation, depth-first search, branch-and-bound algorithms, virtual storage, best-first search
2	Peter J. Varman, Kshitij Doshi	Improved parallel algorithms for the depth-first search and monotone circuit value problems.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
2	Roland Ducournau, Michel Habib	On Some Algorithms for Multiple Inheritance in Object-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF	inheritance with exceptions, Object oriented language, depth-first-search, partial ordered sets, multiple inheritance, linear extensions
1	Christophe Duhamel, Philippe Lacomme, Caroline Prodhon	A hybrid evolutionary local search with depth first search split procedure for the heterogeneous vehicle routing problems.	Eng. Appl. of AI	2012	DBLP DOI BibTeX RDF
1	Christophe Duhamel, Philippe Lacomme, Caroline Prodhon	Efficient frameworks for greedy split and new depth first search split procedures for routing problems.	Computers & OR	2011	DBLP DOI BibTeX RDF
1	François Hantry, Mohand-Said Hacid	Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages	FLACOS	2011	DBLP DOI BibTeX RDF
1	Alfons Laarman, Jaco van de Pol	Variations on Multi-Core Nested Depth-First Search	PDMC	2011	DBLP DOI BibTeX RDF
1	Michael Dom, Falk Hüffner, Rolf Niedermeier	Depth-First Search (Ariadne & Co.).	Algorithms Unplugged	2011	DBLP DOI BibTeX RDF
1	Lars Otten, Rina Dechter	Anytime AND/OR Depth-First Search for Combinatorial Optimization.	SOCS	2011	DBLP BibTeX RDF
1	Rushabh Hathi, Irfan A. Siddavatam	Pre-processed Depth First Search.	ICISTM	2011	DBLP DOI BibTeX RDF
1	M. M. Naoghare, V. M. Deshmukh	Comparison of parallel genetic algorithm with depth first search algorithm for solving verbal arithmetic problems.	ICWET	2011	DBLP DOI BibTeX RDF
1	Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber 0002, Anton Wijs	Multi-core Nested Depth-First Search.	ATVA	2011	DBLP DOI BibTeX RDF
1	Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li	Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.	IDEAL	2011	DBLP DOI BibTeX RDF
1	Jesús Ubaldo Quevedo-Torrero	Solving Recursive Queries Using Depth First Search.	ITNG	2010	DBLP DOI BibTeX RDF	teaching methodology, relational databases, Recursion
1	Jussi Rintanen	Heuristic Planning with SAT: Beyond Uninformed Depth-First Search.	Australasian Conference on Artificial Intelligence	2010	DBLP DOI BibTeX RDF
1	Carlos Mencía, María R. Sierra, Ramiro Varela	Partially Informed Depth-First Search for the Job Shop Problem.	ICAPS	2010	DBLP BibTeX RDF
1	Amr Elmasry	Why Depth-First Search Efficiently Identifies Two and Three-Connected Graphs.	ISAAC	2010	DBLP DOI BibTeX RDF
1	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez	Depth-First Search with P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
1	Anthony Monnet, Roger Villemaire	Scalable formula decomposition for propositional satisfiability.	C3S2E	2010	DBLP DOI BibTeX RDF	scalability, SAT, tree decomposition, propositional satisfiability, DPLL
1	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
1	Stephen Dabideen, J. J. Garcia-Luna-Aceves	OWL: Towards Scalable Routing in MANETs Using Depth-First Search On Demand.	MASS	2009	DBLP DOI BibTeX RDF
1	P. Alex Dow, Richard E. Korf	Duplicate Avoidance in Depth-First Search with Applications to Treewidth.	IJCAI	2009	DBLP BibTeX RDF
1	Wonhong Nam, Hyunyoung Kil, Jungjae Lee	QoS-Driven Web Service Composition Using Learning-Based Depth First Search.	CEC	2009	DBLP DOI BibTeX RDF
1	W. Hämäläinen	Lift-based search for significant dependencies in dense data sets.	KDD Workshop on Statistical and Relational Learning in Bioinformatics	2009	DBLP DOI BibTeX RDF	association rules, redundancy, dependency analysis, depth-first search, statistical significance
1	Maofu Liu, Wenjie Li, Xiaolong Zhang, Ji Zhang	Event-Based Summarization Using Critical Temporal Event Term Chain.	ICCPOL	2009	DBLP DOI BibTeX RDF	Event-Based Summarization, Event Term Graph, Temporal Event Term Chain, Depth-First Search Algorithm
1	Drew Mellor, Steven P. Nicklin	A population-based approach to finding the matchset of a learning classifier system efficiently.	GECCO	2009	DBLP DOI BibTeX RDF	efficient matching, learning classifier systems, xcs, lcs
1	Hideyuki Ohtani, Takuya Kida, Takeaki Uno, Hiroki Arimura	Efficient serial episode mining with minimal occurrences.	ICUIMC	2009	DBLP DOI BibTeX RDF	closed sequences, depth-first algorithm, frequent episode mining
1	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	Consistency Checking for LSC Specifications.	TASE	2009	DBLP DOI BibTeX RDF
1	Edgar Chávez, Maia Fraser, Héctor Tejeda	Proximal Labeling for Oblivious Routing in Wireless Ad Hoc Networks.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF
1	Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini	Deriving Information from Sampling and Diving.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Geoffrey Chu, Christian Schulte, Peter J. Stuckey	Confidence-Based Work Stealing in Parallel Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF
1	Radu Mateescu, Anton Wijs	Hierarchical Adaptive State Space Caching Based on Level Sampling.	TACAS	2009	DBLP DOI BibTeX RDF
1	Marius-Calin Silaghi, Makoto Yokoo	ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Semi-cooperative agents, ADOPT, Distributed problem solving, DCOPs
1	Anil Maheshwari, Norbert Zeh	I/O-Efficient Algorithms for Graphs of Bounded Treewidth.	Algorithmica	2009	DBLP DOI BibTeX RDF	Algorithms, Graph algorithms, External memory algorithms, Bounded treewidth
1	Sally El Ghoul, Ashraf S. Hussein, Mohamed Saied Abdel-Wahab, Ulf Witkowski, Ulrich Rückert	A Modified Multiple Depth First Search Algorithm for Grid Mapping Using Mini-Robots Khepera.	JCSE	2008	DBLP BibTeX RDF
1	Dan Ungureanu, Alexandru Boicea	Intertrasm - A Depth First Search Algorithm for Mining Intertransaction Association Rules.	ICSOFT (ISDM/ABF)	2008	DBLP BibTeX RDF
1	Renata Braga Araújo, Guilherme Henrique Trielli Ferreira, Gustavo Henrique Orair, Wagner Meira Jr., Renato Antônio Celso Ferreira, Dorgival Olavo Guedes Neto, Mohammed Javeed Zaki	The ParTriCluster Algorithm for Gene Expression Analysis.	International Journal of Parallel Programming	2008	DBLP DOI BibTeX RDF	Clustering, Parallel programming, Bioinformatics, Depth-first search
1	Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro	Towards a model-driven engineering approach for developing embedded hard real-time software.	SAC	2008	DBLP DOI BibTeX RDF	DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis
1	Ali Erkan, Diyan Gochev	An image background detection project for a visual exploration of DFS and BFS.	SIGCSE	2008	DBLP DOI BibTeX RDF	visualization, algorithms, data structures, recursion, queues, stacks
1	Harold N. Gabow, Shuxin Nie	Finding a long directed cycle.	ACM Transactions on Algorithms	2008	DBLP DOI BibTeX RDF	circumference, long cycles, Approximation algorithms, cycles, Hamiltonian cycles
1	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Hardware based algorithm for conflict diagnosis in SAT solver.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Feng Zhao	The Algorithm Analyses and Design about the Subjective Test Online Basing on the DOM Tree.	CSSE	2008	DBLP DOI BibTeX RDF
1	Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel	ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.	DATE	2008	DBLP DOI BibTeX RDF
1	Yin Shen, Yici Cai, Qiang Zhou, Xianlong Hong	DFM Based Detailed Routing Algorithm for ECP and CMP.	ISQED	2008	DBLP DOI BibTeX RDF	ECP, CMP, DFM, detailed routing
1	Yu-Ren Liao, Yu-Cheng Chen, Kuan-Chung Chen, Wei-Guang Teng	Supporting Landmark Image Retrieval with Skyline Extraction Techniques.	MUE	2008	DBLP DOI BibTeX RDF
1	Carl Christian Rolf, Krzysztof Kuchcinski	State-copying and Recomputation in Parallel Constraint Programming with Global Constraints.	PDP	2008	DBLP DOI BibTeX RDF	Models of Communication, Parallelism, Constraint Programming
1	Seungho Lee, Young-Jun Son	Integrated human decision making model under Belief-Desire-Intention framework for crowd simulation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver	FlexiTP: A Flexible-Schedule-Based TDMA Protocol for Fault-Tolerant and Energy-Efficient Wireless Sensor Networks.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Distributed networks, Wireless systems
1	Yugang Jia, Christophe Andrieu, Robert J. Piechocki, Magnus Sandell	Depth-First and Breadth-First Search Based Multilevel SGA Algorithms for Near Optimal Symbol Detection in MIMO Systems.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
1	Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
1	Rajeev Goré, Linda Postniece	An Experimental Evaluation of Global Caching for (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Peter Sanders, Pavel Simecek	Semi-external LTL Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	A Meta Heuristic for Effectively Detecting Concurrency Errors.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Xutao Du, Chunxiao Xing, Lizhu Zhou	Abstract Reachability Graph for Verifying Web Service Interfaces.	ICSR	2008	DBLP DOI BibTeX RDF
1	Miri Weiss-Cohen, Igal Sirotin, Erez Rave	GrasSmart: An Intelligent Robotic System for Continuous Area Coverage.	KES	2008	DBLP DOI BibTeX RDF	robot motion, spanning tree, Area coverage
1	Micah Adler, Brent Heeringa	Search Space Reductions for Nearest-Neighbor Queries.	TAMC	2008	DBLP DOI BibTeX RDF
1	Umar Manzoor, Samia Nefti, Haris Hasan, Majid Mehmood, Bassam Aslam, Osama Shaukat	A Multi-Agent Model for Mine Detection - MAMMD.	WSKS	2008	DBLP DOI BibTeX RDF	Mine Detection, Collaborative Agent System, MAMMD Architecture, Detecting Mines Using Agents, Multi-Agent System
1	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Symbolic Graphs: Linear Solutions to Connectivity Related Problems.	Algorithmica	2008	DBLP DOI BibTeX RDF	Massive graphs, Model checking, Ordered binary decision diagrams, Biconnected components, Strongly connected components
1	Guimei Liu, Jinyan Li, Limsoon Wong	A new concise representation of frequent itemsets using generators and a positive border.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Positive border, Data mining, Generator, Frequent itemset mining, Concise representation
1	Jun-Ho Her, R. S. Ramakrishna	An external-memory depth-first search algorithm for general grid graphs.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Jun-Ho Her, R. S. Ramakrishna	An O(log n) Parallel Time Depth-First Search Algorithm for Solid Grid Graphs.	HPCNCS	2007	DBLP BibTeX RDF
1	Plamenka Borovska, Milena Lazarova	Token-based adaptive load balancing for dynamically parallel computations on multicomputer platforms.	CompSysTech	2007	DBLP DOI BibTeX RDF	scalability, parallel programming, parallel computing, distributed load balancing
1	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.	DATE	2007	DBLP DOI BibTeX RDF
1	Vibhuti S. Sengar, Tanuja Joshi, Joseph Joy, Samarth Prakash, Kentaro Toyama	Robust location search from text queries.	GIS	2007	DBLP DOI BibTeX RDF	ambiguous spatial queries, location search, geocoding
1	Jinyan Li, Guimei Liu, Limsoon Wong	Mining statistically important equivalence classes and delta-discriminative emerging patterns.	KDD	2007	DBLP DOI BibTeX RDF	itemsets with ranked statistical merit, equivalence classes
1	Nalaka Gooneratne, Zahir Tari, James Harland	Verification of web service descriptions using graph-based traversal algorithms.	SAC	2007	DBLP DOI BibTeX RDF	consistent descriptions, verification, service descriptions
1	Hidemi Yamachi, Hisashi Yamamoto, Yasuhiro Tsujimura, Yasushi Kambayashi	A solution method employing a multi-objective genetic algorithm to search for pareto solutions of series-parallel system component allocation problem.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Bo Liu, Jiuhui Pan	A Graph-Based Algorithm for Mining Maximal Frequent Itemsets.	FSKD	2007	DBLP DOI BibTeX RDF
1	Sethuraman Janardhanan, Ambuj Mahanti, Debashis Saha, Samir K. Sadhukhan	BDFS: A Real-Time Search Algorithm for Central Office (CO) Optimization.	HICSS	2007	DBLP DOI BibTeX RDF
1	Sinnakkrishnan Perumal, Ambuj Mahanti	Applying Graph Search Techniques for Workflow Verification.	HICSS	2007	DBLP DOI BibTeX RDF
1	Hongmei Liu	A Performance Guaranteed New Algorithm for Fault-Tolerant Routing in m-ary n-cube Networks.	ICNSC	2007	DBLP DOI BibTeX RDF
1	Yu Wang, Lemin Li, Du Xu	A Multi-constrained Quality of Service Routing Based on Metrics Transform.	ICNSC	2007	DBLP DOI BibTeX RDF
1	Xianpu Sun, Yanling Zhang, Jiandong Li	Wireless Dynamic Token Protocol for MANET.	ICPP Workshops	2007	DBLP DOI BibTeX RDF	Dynamic token transfer algorithm, Mobile Ad hoc network, Wireless, Medium Access Control, token ring
1	Ettore Ferranti, Niki Trigoni, Mark Levene	Brick & Mortar: an on-line multi-agent exploration algorithm.	ICRA	2007	DBLP DOI BibTeX RDF