Search results for "breadth-first"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Yanghua Xiao, Wentao Wu 0001, Jian Pei, Wei Wang 0009, Zhenying He	Efficiently indexing shortest paths by exploiting symmetry in graphs.	EDBT	2009	DBLP DOI BibTeX RDF
19	Sizhong Chen, Tong Zhang 0002, Yan Xin 0001	Relaxed K-Best MIMO Signal Detector Design and VLSI Implementation.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
19	Yingying Li, Yun-Hui Liu	Energy Saving Target Tracking Using Mobile Sensor Networks.	ICRA	2007	DBLP DOI BibTeX RDF
19	Thanh Tin Tang, David Hawking, Nick Craswell, Kathleen Griffiths	Focused crawling for both topical relevance and quality of medical information.	CIKM	2005	DBLP DOI BibTeX RDF	domain-specific search, quality health search, focused crawling
19	Darrell M. Kienzle, Matthew C. Elder	Recent worms: a survey and trends.	WORM	2003	DBLP DOI BibTeX RDF	survey, malicious code
19	Derek G. Corneil, Feodor F. Dragan, Ekkehard Köhler	On the Power of BFS to Determine a Graphs Diameter.	LATIN	2002	DBLP DOI BibTeX RDF
19	Loc Q. Tran, Chan W. Moon, Daniel X. Le, George R. Thoma	Web Page Downloading and Classification.	CBMS	2001	DBLP DOI BibTeX RDF
19	Kavita Ravi, Fabio Somenzi	High-density reachability analysis.	ICCAD	1995	DBLP DOI BibTeX RDF
19	Elias Dahlhaus	The Parallel Complexity of Elimination Ordering Procedures.	WG	1993	DBLP DOI BibTeX RDF
19	Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka	Paralle Generalized LP Parser based on Logic Programming.	LP	1989	DBLP DOI BibTeX RDF
18	Mary Micco	An undergraduate curriculum in expert systems design or knowledge engineering.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
15	Ian Douglas Sanders, Sasha Langford	Students' perceptions of python as a first programming language at wits.	ITiCSE	2008	DBLP DOI BibTeX RDF	first programming language, student perceptions
13	Roy Rada	Converting a Textbook to Hypertext.	ACM Trans. Inf. Syst.	1992	DBLP DOI BibTeX RDF	document markup, human-computer interaction, electronic publishing, hypermedia models
12	Gary Lewandowski, Amy Morehead	Computer science through the eyes of dead monkeys: learning styles and interaction in CS I.	SIGCSE	1998	DBLP DOI BibTeX RDF
11	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
11	Yang Zhao 0011, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
11	Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin	Efficient Vertical Mining of Frequent Closures and Generators.	IDA	2009	DBLP DOI BibTeX RDF
11	Chih-Hung Liu 0001, Hung-Yi Liu, Chung-Wei Lin, Szu-Jui Chou, Yao-Wen Chang, Sy-Yen Kuo, Shih-Yi Yuan, Yu-Wei Chen	An Efficient Graph-Based Algorithm for ESD Current Path Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
11	Leslie De Koninck, Tom Schrijvers, Bart Demoen	A Flexible Search Framework for CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
11	Kayhan Erciyes, Deniz Ozsoyeller, Orhan Dagdeviren	Distributed Algorithms to Form Cluster Based Spanning Trees in Wireless Sensor Networks.	ICCS (1)	2008	DBLP DOI BibTeX RDF	clustering, wireless sensor networks, synchronizers, spanning tree
11	K. Subramani 0001, Kamesh Madduri	Accomplishing Approximate FCFS Fairness Without Queues.	HiPC	2007	DBLP DOI BibTeX RDF
11	Truong Quang D. Khoa, Masahiro Nakagawa	Training Multilayer Neural Network by Global Chaos Optimization Algorithms.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Ariel Felner, Nir Ofek	Combining Perimeter Search and Pattern Database Abstractions.	SARA	2007	DBLP DOI BibTeX RDF
11	Hung-Yi Liu, Chung-Wei Lin, Szu-Jui Chou, Wei-Ting Tu, Chih-Hung Liu 0001, Yao-Wen Chang, Sy-Yen Kuo	Current path analysis for electrostatic discharge protection.	ICCAD	2006	DBLP DOI BibTeX RDF
11	James M. Vaccaro, Clark C. Guest	Planning an endgame move set for the game RISK: a comparison of search algorithms.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
11	Yun Chi, Yirong Yang, Richard R. Muntz	Canonical forms for labelled trees and their applications in frequent subtree mining.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Labelled free tree, Labelled rooted unordered tree, Tree isomorphism, Canonical form, Frequent subtree
11	Brenda F. Miles, Vir V. Phoha	The bipartite clique: a topological paradigm for WWWeb user search customization.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	bipartite clique or biclique graph, combined log format, web neighborhood, web user customization, web user search, link analysis, web usage mining, web structure mining
11	Christopher H. Nevison	From concrete to abstract: the power of generalization.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	pedagogy, object-oriented design
11	Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl	External A*.	KI	2004	DBLP DOI BibTeX RDF
11	Linhui Jiang, Howard J. Hamilton	Methods for Mining Frequent Sequential Patterns.	AI	2003	DBLP DOI BibTeX RDF
11	Linhui Jiang	A Quick Look at Methods for Mining Long Subsequences.	AI	2003	DBLP DOI BibTeX RDF
11	Bennet Uk, Michela Taufer, Thomas Stricker, Giovanni Settanni, Andrea Cavalli	Implementation and Characterization of Protein Folding on a Desktop Computational Grid - Is CHARMM a Suitable Candidate for the United Devices MetaProcessor?	IPDPS	2003	DBLP DOI BibTeX RDF	widely distributed computing, CHARMM, United Devices MetaProcessor, workload characterization, protein folding, search algorithms, desktop grids
11	Ulrich Meyer 0001	External memory BFS on undirected graphs with bounded degree.	SODA	2001	DBLP BibTeX RDF
11	Chris H. Q. Ding, Xiaofeng He, Hongyuan Zha	A spectral method to separate disconnected and nearly-disconnected web graph components.	KDD	2001	DBLP DOI BibTeX RDF
11	Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini	Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.	FCT	1999	DBLP DOI BibTeX RDF
11	Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura	Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.	CADE	1997	DBLP DOI BibTeX RDF
11	Heribert Schütz, Tim Geisler	Efficient Model Generation through Compilation.	CADE	1996	DBLP DOI BibTeX RDF
11	T. J. Reynolds, Petros Kefalas	BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.	RCLP	1991	DBLP DOI BibTeX RDF
11	Guo-Jie Li, Benjamin W. Wah	Computational Efficiency of Parallel Combinatorial OR-Tree Searches.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	near linear speedup, parallel combinatorial OR-tree searches, error allowance function, simulation, performance evaluation, performance, parallel processing, theorem proving, database management systems, trees (mathematics), decision theory, sufficient conditions, search strategies, combinatorial mathematics, dominance relation
11	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
11	Adolfo Guzmán, Manuel V. Hermenegildo	Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
10	Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001	Mining program workflow from interleaved traces.	KDD	2010	DBLP DOI BibTeX RDF	graphical behavior models, temporal properties, workflow mining
10	Fang Wei 0001	TEDI: efficient shortest path query answering on graphs.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	indexing, graphs, shortest path, tree decomposition
10	Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno	A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	algorithmic graph theory, cograph, prefix tree, distance-hereditary graph, tree representation
10	Mohammad Ashiqur Rahaman, Yves Roudier, Philip Miseldine, Andreas Schaad	Ontology-Based Secure XML Content Distribution.	SEC	2009	DBLP DOI BibTeX RDF
10	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
10	A. W. Roscoe 0001, Philip J. Armstrong, Pragyesh	Local Search in Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
10	Zaichen Qian, Evangeline F. Y. Young	Multi-voltage floorplan design with optimal voltage assignment.	ISPD	2009	DBLP DOI BibTeX RDF	multi-voltage assignment optimization branch-and-bound
10	Jiaqing Luo, Bin Xiao 0001, Guobin Liu 0003, Qingjun Xiao, Shijie Zhou	Modeling and analysis of self-stopping BTWorms using dynamic hit list in P2P networks.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Ankush Garg, Prantik Bhattacharyya, Charles U. Martel, Shyhtsun Felix Wu	Information Flow and Search in Unstructured Keyword Based Social Networks.	CSE (4)	2009	DBLP DOI BibTeX RDF
10	Radu Mateescu 0001, Anton Wijs	Hierarchical Adaptive State Space Caching Based on Level Sampling.	TACAS	2009	DBLP DOI BibTeX RDF
10	Guimei Liu, Jinyan Li 0001, 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
10	Kun Zhou 0001, Qiming Hou, Rui Wang 0004, Baining Guo	Real-time KD-tree construction on graphics hardware.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	point cloud modeling, programable graphics hardware, ray tracing, kd-tree, photon mapping
10	Alejandro Duran, Julita Corbalán, Eduard Ayguadé	Evaluation of OpenMP Task Scheduling Strategies.	IWOMP	2008	DBLP DOI BibTeX RDF
10	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in External-Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
10	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
10	Taylan Yemliha, Shekhar Srikantaiah, Mahmut T. Kandemir, Mustafa Karaköy, Mary Jane Irwin	Integrated code and data placement in two-dimensional mesh based chip multiprocessors.	ICCAD	2008	DBLP DOI BibTeX RDF
10	Tomonobu Ozaki, Takenao Ohkawa	Mining Correlated Subgraphs in Graph Databases.	PAKDD	2008	DBLP DOI BibTeX RDF
10	Michael Chau, Hsinchun Chen	Incorporating Web Analysis Into Neural Networks: An Example in Hopfield Net Searching.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
10	Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi	On the Behavior of Substitution-based Reversible Circuit Synthesis Algorithms: Investigation and Improvement.	ISVLSI	2007	DBLP DOI BibTeX RDF
10	Thorben Detert	Prefiltered Low Complexity Tree Detection for Frequency Selective Fading Channels.	VTC Spring	2007	DBLP DOI BibTeX RDF
10	Sartaj Sahni, Nageswara S. V. Rao, Sanjay Ranka, Yan Li 0097, Eun-Sung Jung, Nara Kamath	Bandwidth Scheduling and Path Computation Algorithms for Connection-Oriented Networks.	ICN	2007	DBLP DOI BibTeX RDF	backend signaling, MPLS/GMPLS distributed implementation, multi-domain scheduling, resource scheduling
10	K. K. Loo, Ben Kao	Mining Time-Delayed Associations from Discrete Event Datasets.	DASFAA	2007	DBLP DOI BibTeX RDF
10	Bo Liu 0062, Jiuhui Pan	A Graph-Based Algorithm for Mining Maximal Frequent Itemsets.	FSKD (3)	2007	DBLP DOI BibTeX RDF
10	Pradip K. Srimani, Zhenyu Xu	Self-Stabilizing Algorithms of Constructing Spanning Tree and Weakly Connected Minimal Dominating Set.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
10	Shunkai Fu, Michel C. Desmarais	Local Learning Algorithm for Markov Blanket Discovery.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	feature selection, local learning, Markov blanket
10	Deepak Ajwani, Roman Dementiev, Ulrich Meyer 0001	A computational study of external-memory BFS algorithms.	SODA	2006	DBLP DOI BibTeX RDF
10	Ghassen Ben Brahim, Bilal Khan 0002	Budgeting power: packet duplication and bit error rate reduction in wireless ad-hoc networks.	IWCMC	2006	DBLP DOI BibTeX RDF	low bit error rate, min-hop source routing, energy efficiency, wireless ad-hoc networks, power-aware routing
10	Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu	A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.	ATVA	2006	DBLP DOI BibTeX RDF
10	Radu Siminiceanu, Gianfranco Ciardo	New Metrics for Static Variable Ordering in Decision Diagrams.	TACAS	2006	DBLP DOI BibTeX RDF
10	Kevin Andrusky, Stephen Curial, José Nelson Amaral	Tree-Traversal Orientation Analysis.	LCPC	2006	DBLP DOI BibTeX RDF
10	Timothy D. R. Hartley, Ümit V. Çatalyürek, Füsun Özgüner, Andy Yoo, Scott Kohn, Keith W. Henderson	MSSG: A Framework for Massive-Scale Semantic Graphs.	CLUSTER	2006	DBLP DOI BibTeX RDF
10	Attila Gyenesei, Jukka Teuhola	A Probabilistic Approach to Mining Fuzzy Frequent Patterns.	Classification and Clustering for Knowledge Discovery	2005	DBLP DOI BibTeX RDF
10	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
10	Panagiotis Papapetrou, George Kollios, Stan Sclaroff, Dimitrios Gunopulos	Discovering Frequent Arrangements of Temporal Intervals.	ICDM	2005	DBLP DOI BibTeX RDF
10	I-De Huang, Sandeep K. Gupta 0001	Selection of Paths for Delay Testing.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
10	J. C. Ernest, A. S. Bowser, S. Ghule, S. Sudireddy, Jameson P. Porter, Douglas A. Talbert, Martha J. Kosa	Weathering MindStorms with drizzle and DIODE in CS0.	ITiCSE	2005	DBLP DOI BibTeX RDF	robots, CS0
10	Joydip Mitra	A Near-Practical Attack Against B Mode of HBB.	ASIACRYPT	2005	DBLP DOI BibTeX RDF	known-plaintext attack, HBB, cryptanalysis, stream cipher
10	Viresh Paruthi, Christian Jacobi 0002, Kai Weber 0001	Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting.	CHARME	2005	DBLP DOI BibTeX RDF
10	Hsinping Wang, Tsungnan Lin	On efficiency in searching networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
10	Artie Basukoski, Alexander Bolotov	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
10	Rajanish Dass, Ambuj Mahanti	Implementing BDFS(b) with Diff-Sets for Real-Time Frequent Pattern Mining in Dense Datasets - First Findings.	UDM	2005	DBLP DOI BibTeX RDF
10	Ping Guo 0003, Yang Zhou 0001, Jun Zhuang, Ting Chen, Yan-Rong Kang	An Efficient Algorithm for Mining Both Closed and Maximal Frequent Free Subtrees Using Canonical Forms.	ADMA	2005	DBLP DOI BibTeX RDF
10	Bernd Finkbeiner, Henny Sipma	Checking Finite Traces Using Alternating Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	alternating automata, trace checking, temporal logic, runtime verification, online monitoring
10	Ovidiu Daescu	New Results on Path Approximation.	Algorithmica	2004	DBLP DOI BibTeX RDF	Path approximation, Curve simplification, Optimization, Complexity, Line transversal
10	José Carlos Sancho, Antonio Robles, José Duato	An Effective Methodology to Improve the Performance of the Up/Down Routing Algorithm.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
10	Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue	Heuristic-guided counterexample search in FLAVERS.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	FLAVERS, heuristic search, counterexamples
10	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
10	Yaochun Huang, Hui Xiong 0001, Weili Wu 0001, Zhongnan Zhang	A Hybrid Approach for Mining Maixmal Hyperclique Patterns.	ICTAI	2004	DBLP DOI BibTeX RDF	H-confidence, Data Mining, Hyperclique Pattern
10	Konstantinos Kostikas, Charalambos Fragakis	Genetic Programming Applied to Mixed Integer Programming.	EuroGP	2004	DBLP DOI BibTeX RDF
10	Jian Zhang, Chen Xu, Xiaoliang Wang	Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.	SEFM	2004	DBLP DOI BibTeX RDF
10	Carlos Castillo 0001, Mauricio Marín, M. Andrea Rodríguez, Ricardo A. Baeza-Yates	Scheduling Algorithms for Web Crawling.	WebMedia/LA-WEB	2004	DBLP DOI BibTeX RDF
10	Michael Chau, Hsinchun Chen	Comparison of Three Vertical Search Spiders.	Computer	2003	DBLP DOI BibTeX RDF
10	Ke Hu, Wing Shing Wong	A Probabilistic Model for Intelligent Web Crawlers.	COMPSAC	2003	DBLP DOI BibTeX RDF
10	Dennis J. Bouvier	Pilot study: living flowcharts in an introduction to programming course.	SIGCSE	2003	DBLP DOI BibTeX RDF	pedagogy, CS1
10	Chunlin Yang, Jie Wu 0001	Dominating-Set-Based Searching in Peer-to-Peer Networks.	GCC (1)	2003	DBLP DOI BibTeX RDF
10	Ahmed Gario, J. William Atwood	Feedback Mechanism Validation and Path Query Messages in the Label Distribution Protocol.	LCN	2003	DBLP DOI BibTeX RDF
10	Vana Kalogeraki, Dimitrios Gunopulos, Demetrios Zeinalipour-Yazti	A local search mechanism for peer-to-peer networks.	CIKM	2002	DBLP DOI BibTeX RDF	peer-to-peer netwroks, distributed information retrieval
10	Laura Toma, Norbert Zeh	I/O-Efficient Algorithms for Sparse Graphs.	Algorithms for Memory Hierarchies	2002	DBLP DOI BibTeX RDF
10	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF