Search results for "guided search"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jin-Shea Kuo, Haizhou Li, Chih-Lung Lin	Harvesting Regional Transliteration Variants with Guided Search.	ICCPOL	2009	DBLP DOI BibTeX RDF	regional transliteration variants, cross-training algorithm, constraint-based exploration, transliteration, guided search
2	Serban Iordache	Consultant-guided search algorithms for the quadratic assignment problem.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	combinatorial optimization, swarm intelligence, metaheuristics, quadratic assignment problem
2	Serban Iordache	Consultant-guided search combined with local search for the traveling salesman problem.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	combinatorial optimization, swarm intelligence, traveling salesman problem, metaheuristics
2	Serban Iordache	Consultant-guided search: a new metaheuristic for combinatorial optimization problems.	GECCO	2010	DBLP DOI BibTeX RDF	combinatorial optimization, swarm intelligence, traveling salesman problem, metaheuristics
2	Alexander Kotov, ChengXiang Zhai	Towards natural question guided search.	WWW	2010	DBLP DOI BibTeX RDF	query processing, interactive search, search interface
2	Jane You, Qin Li	On hierarchical content-based image retrieval by dynamic indexing and guided search.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
2	Md. Kamrul Islam, Madhu Chetty	Novel Memetic Algorithm for Protein Structure Prediction.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF	Pair-wise-interchange, Modified fitness function, Schema preservation, Guided search space, Tabu Search, Memetic Algorithm
2	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
2	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Fixing Design Errors with Counterexamples and Resynthesis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	simulation-based verification, digital design errors, error-correction framework, resynthesis techniques, goal-directed search, entropy-guided search, counterexamples, digital designs, combinational equivalence-checking
2	Neha Rungta, Eric G. Mercer	A context-sensitive structural heuristic for guided search model checking.	ASE	2005	DBLP DOI BibTeX RDF	structural heuristics, guided search
2	Sang Cheol Kim, Sunggu Lee	Push-Pull: Guided Search DAG Scheduling for Heterogeneous Clusters.	ICPP	2005	DBLP DOI BibTeX RDF
2	Jane You, King Hong Cheung, Qin Li, Prabir Bhattacharya	An Integration of Biometrics and Mobile Computing for Personal Identification.	ICAPR	2005	DBLP DOI BibTeX RDF	Biometrics computing, feature extraction and indexing, identity authentication and verification, mobile computing, guided search
2	Bosiljka Tadic	Guided Search and Distribution of Information Flow on Complex Graphs.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
2	Takahiko Koike, Jun Saiki	Stochastic Guided Search Model for Search Asymmetries in Visual Search Tasks.	Biologically Motivated Computer Vision	2002	DBLP DOI BibTeX RDF
2	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
2	Jane You, Prabir Bhattacharya	Dynamic Shape Retrieval by Hierarchical Curve Matching, Snakes and Data Mining.	ICPR	2000	DBLP DOI BibTeX RDF	Similar-shape retrieval, image data warehouse, feature extraction, snakes, guided search, curve matching, cyclones
2	C. Han Yang, David L. Dill	Validation with Guided Search of the State Space.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
2	Jens Gregor, Michael G. Thomason	Dynamic Programming Alignment of Sequences Representing Cyclic Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	cyclic patterns, optimal alignment cost, guided search algorithm, alignment costs, submatrices, satellite DNA sequences, circularly permuted protein sequences, dynamic programming, dynamic programming, image sequences, medical image processing, algorithmic complexity
1	Sergey Bratus, Anna Rumshisky, Alexy Khrabrov, Rajendra Magar, Paul Thompson	Domain-specific entity extraction from noisy, unstructured data using ontology-guided search.	IJDAR	2011	DBLP DOI BibTeX RDF
1	Ivan Heckman, J. Christopher Beck	Understanding the behavior of Solution-Guided Search for job-shop scheduling.	J. Scheduling	2011	DBLP DOI BibTeX RDF
1	Sadaf Naseem Jat, Shengxiang Yang	A Guided Search Non-dominated Sorting Genetic Algorithm for the Multi-Objective University Course Timetabling Problem.	EvoCOP	2011	DBLP DOI BibTeX RDF
1	Tao Xie, Wolfgang Müller 0003, Florian Letombe	HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.	DSD	2011	DBLP DOI BibTeX RDF
1	Yue Zhang 0004, Stephen Clark	Syntax-Based Grammaticality Improvement using CCG and Guided Search.	EMNLP	2011	DBLP BibTeX RDF
1	Jane You, Qin Li, Jinghua Wang	On Hierarchical Content-Based Image Retrieval by Dynamic Indexing and Guided Search.	IJCINI	2010	DBLP BibTeX RDF
1	Michael Mitzenmacher	An introduction to human-guided search.	ACM Crossroads	2010	DBLP DOI BibTeX RDF
1	Gunnar W. Klau, Neal Lesh, Joe Marks, Michael Mitzenmacher	Human-guided search.	J. Heuristics	2010	DBLP DOI BibTeX RDF
1	R. Anusuya, V. Kavitha, E. Golden Julie	Enhancing and Analyzing Search performance in Unstructured Peer to Peer Networks Using Enhanced Guided search protocol (EGSP)	CoRR	2010	DBLP BibTeX RDF
1	Serban Iordache	Consultant-Guided Search Algorithms with Local Search for the Traveling Salesman Problem.	PPSN	2010	DBLP DOI BibTeX RDF
1	Dimitar Baronov, John Baillieul	Topology guided search of potential fields.	CDC	2010	DBLP DOI BibTeX RDF
1	Serban Iordache	Consultant-Guided Search Algorithms for the Quadratic Assignment Problem.	Hybrid Metaheuristics	2010	DBLP DOI BibTeX RDF
1	Heng Yu, Bharadwaj Veeravalli, Yajun Ha	Leakage-aware dynamic scheduling for real-time adaptive applications on multiprocessor systems.	DAC	2010	DBLP DOI BibTeX RDF	dynamic scheduling, adaptive applications
1	Alfonso Alba, Edgar Arce Santana	Phase-Correlation Guided Search for Realtime Stereo Vision.	IWCIA	2009	DBLP DOI BibTeX RDF	area matching, real time, stereo vision, phase correlation
1	Rahul Chougule, Sugato Chakrabarty	Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant.	CASE	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	David Iclanzan, D. Dumitrescu, Béat Hirsbrunner	Correlation guided model building.	GECCO	2009	DBLP DOI BibTeX RDF	correlation analysis, model-building, efficiency enhancement
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	Edmond Wai Yan So, Tetsuo Yoshimitsu, Takashi Kubota	Hopping Odometry: Motion Estimation with Selective Vision.	IROS	2009	DBLP DOI BibTeX RDF
1	Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Shahabi	Efficient Continuous Nearest Neighbor Query in Spatial Networks Using Euclidean Restriction.	SSTD	2009	DBLP DOI BibTeX RDF
1	Jianlong Zhou, Chun Xiao, Zhiyan Wang, Masahiro Takatsuka	A concept of volume rendering guided search process to analyze medical data set.	Comp. Med. Imag. and Graph.	2008	DBLP DOI BibTeX RDF
1	Dominik Scheder	Guided Search and a Faster Deterministic Algorithm for 3-SAT.	LATIN	2008	DBLP DOI BibTeX RDF
1	Kent Wittenburg, Tom Lanning, Darren Leigh, Kathy Ryall	Visualizing antenna design spaces.	AVI	2008	DBLP DOI BibTeX RDF	antenna design, human-guided search, information visualization, multivariate visualization, line graphs
1	Shaohua Sun, Feng Zhuge, Jarrett Rosenberg, Robert M. Steiner, Geoffrey D. Rubin, Sandy Napel	Learning-enhanced simulated annealing: method, evaluation, and application to lung nodule registration.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Search history memorization, Simulated annealing, Knowledge base, Guided search
1	Feng Hao, John Daugman, Piotr Zielinski	A Fast Search Algorithm for a Large Fuzzy Database.	IEEE Transactions on Information Forensics and Security	2008	DBLP DOI BibTeX RDF
1	Candra Meirina, Yuri N. Levchuk, Georgiy M. Levchuk, Krishna R. Pattipati	A Markov Decision Problem Approach to Goal Attainment.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä	Justification-Based Local Search with Adaptive Noise Strategies.	LPAR	2008	DBLP DOI BibTeX RDF
1	Wheeler Ruml, Minh Binh Do	Best-First Utility-Guided Search.	IJCAI	2007	DBLP BibTeX RDF
1	Michael Mozer, David Baldwin	Experience-Guided Search: A Theory of Attentional Control.	NIPS	2007	DBLP BibTeX RDF
1	Sorina Dumitrescu, Xiaolin Wu	Lagrangian Optimization of Two-Description Scalar Quantizers.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
1	Sang Cheol Kim, Sunggu Lee, Jaegyoon Hahm	Push-Pull: Deterministic Search-Based DAG Scheduling for Heterogeneous Cluster Systems.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	Optimization, Task Scheduling, Heterogeneous Systems, Cluster Systems
1	Timo Pylvänäinen, Lixin Fan	Hill Climbing Algorithm for Random Sample Consensus Methods.	ISVC	2007	DBLP DOI BibTeX RDF
1	Lino Marques, Urbano Nunes, Anibal T. de Almeida	Particle swarm-based olfactory guided search.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Olfactive search, Particle swarm optimization, Cooperative robotics
1	Martin Josef Geiger, Wolf Wenger	On the Interactive Resolution of Multi-objective Vehicle Routing Problems.	EMO	2006	DBLP DOI BibTeX RDF	User-guided search, multi depot vehicle routing problem with time windows, multi-objective optimization, variable neighborhood search, interactive optimization
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
1	Jiun-Long Huang, Wen-Chih Peng, Ming-Syan Chen	SOM: Dynamic Push-Pull Channel Allocation Framework for Mobile Data Broadcasting.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	dynamic data and channel allocation, mobile computing, Data dissemination
1	Husain Aljazzar, Stefan Leue	Extended Directed Search for Probabilistic Timed Reachability.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Raoul Medina, Lhouari Nourine, Olivier Raynaud	Interactive Association Rules Discovery.	ICFCA	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
1	KangWoo Lee, Hilary Buxton, Jianfeng Feng	Cue-guided search: a computational model of selective attention.	IEEE Transactions on Neural Networks	2005	DBLP DOI BibTeX RDF
1	Euisun Kang, Maria Hong, Younghwan Lim, Youngsong Mun, Seong-Jin Ahn	A Guided Search Method for Real Time Transcoding a MPEG2 P Frame into H.263 P Frame in a Compressed Domain.	ICCSA	2005	DBLP DOI BibTeX RDF
1	Sharon Barner, Ziv Glazberg, Ishai Rabinovitz	Wolf - Bug Hunter for Concurrent Software Using Formal Methods.	CAV	2005	DBLP DOI BibTeX RDF
1	Husain Aljazzar, Holger Hermanns, Stefan Leue	Counterexamples for Timed Probabilistic Reachability.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Paul Janecek, Vincent Schickel, Pearl Pu	Concept Expansion Using Semantic Fisheye Views.	ICADL	2005	DBLP DOI BibTeX RDF
1	Paul Janecek, Pearl Pu	An evaluation of semantic fisheye views for opportunistic search in an annotated image collection.	Int. J. on Digital Libraries	2005	DBLP DOI BibTeX RDF	Context+focus techniques, Semantic fisheye views, Visual information retrieval interfaces, Empirical user study
1	S. Abedi, S. Vadgama	A genetic approach for downlink packet scheduling in HSDPA system.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Wireless IP, Genetic algorithms, Scheduling, Multimedia, HSDPA
1	Jane You, King Hong Cheung, James Liu, Linong Guo	Hierarchical content-based image retrieval by dynamic indexing and guided search.	Storage and Retrieval Methods and Applications for Multimedia	2004	DBLP DOI BibTeX RDF
1	Andrew Whitaker, Richard S. Cox, Steven D. Gribble	Using time travel to diagnose computer problems.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
1	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
1	Kevin D. Seppi, Michael Jones, Peter Lamborn	Guided Model Checking with a Bayesian Meta-heuristic.	ACSD	2004	DBLP DOI BibTeX RDF
1	Quoc Vong Do, Peter Lozo, Lakhmi C. Jain	A Fast Visual Search and Recognition Mechanism for Real-Time Robotics Applications.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
1	Jane You, Adams Wai-Kin Kong, David Zhang, King Hong Cheung	A New Approach to Personal Identification in Large Databases by Hierarchical Palmprint Coding with Multi-features.	ICBA	2004	DBLP DOI BibTeX RDF
1	María Auxilio Osorio Lama, David Pinto	A Preprocessing That Combines Heuristic and Surrogate Constraint Analysis to Fix Variables in TSP.	MICAI	2004	DBLP DOI BibTeX RDF	TSP problem, Surrogate Constraint Analysis, Preprocessing
1	Michael Jones, Eric Mercer	Explicit State Model Checking with Hopper.	SPIN	2004	DBLP DOI BibTeX RDF
1	Neal Lesh, Michael Mitzenmacher, Sue Whitesides	A complete and effective move set for simplified protein folding.	RECOMB	2003	DBLP DOI BibTeX RDF	local moves, tabu search, protein folding
1	Jane You, David Zhang, Jiannong Cao, Minyi Guo	Parallel Biometrics Computing Using Mobile Agents.	ICPP	2003	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
1	Ben Tordoff, David W. Murray	Guided Sampling and Consensus for Motion Estimation.	ECCV	2002	DBLP DOI BibTeX RDF
1	Chao Wang, Gary D. Hachtel	Sharp Disjunctive Decomposition for Language Emptiness Checking.	FMCAD	2002	DBLP DOI BibTeX RDF
1	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
1	Mike Wright	Subcost-Guided Search-Experiments with Timetabling Problems.	J. Heuristics	2001	DBLP DOI BibTeX RDF
1	Frank Schenkel, Michael Pronath, Stephan Zizala, Robert Schwencker, Helmut E. Graeb, Kurt Antreich	Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search.	DAC	2001	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal	SIVA: A System for Coverage-Directed State Space Search.	J. Electronic Testing	2001	DBLP DOI BibTeX RDF	formal methods, coverage, functional verification, guided search
1	Joanna Golebiowska, Rose Dieng-Kuntz, Olivier Corby, Didier Mousseau	Building and exploiting ontologies for an automobile project memory.	K-CAP	2001	DBLP DOI BibTeX RDF
1	Jun Hu, Rick S. Blum	A gradient guided search algorithm for multiuser detection.	IEEE Communications Letters	2000	DBLP DOI BibTeX RDF
1	Auguste Rabarijaona, Rose Dieng, Olivier Corby, Rajae Ouaddari	Building and Searching an XML-Based Corporate Memory. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP DOI BibTeX RDF
1	Joachim Herbst	A Machine Learning Approach to Workflow Management.	ECML	2000	DBLP DOI BibTeX RDF
1	Neal Lesh, Joe Marks, Maurizio Patrignani	Interactive Partitioning (System Demonstration, Short).	Graph Drawing	2000	DBLP DOI BibTeX RDF
1	Olivier Corby, Rose Dieng, Cédric Hébert	A Conceptual Graph Model for W3C Resource Description Framework.	ICCS	2000	DBLP DOI BibTeX RDF
1	Terry Zimmerman, Subbarao Kambhampati	Exploiting Symmetry in the Planning graph via Explanation-Guided Search.	AAAI/IAAI	1999	DBLP BibTeX RDF
1	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
1	Eric McCreath, Mark D. Reid	A Noise Resistant Model Inference System.	Discovery Science	1999	DBLP DOI BibTeX RDF
1	Auguste Rabarijoana, Rose Dieng, Olivier Corby	Exploitation of XML for Corporate Knowledge Management.	EKAW	1999	DBLP DOI BibTeX RDF
1	Adnan Aziz, James H. Kukula, Thomas R. Shiple	Hybrid Verification Using Saturated Simulation.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Aiman H. El-Maleh, Mark Kassab, Janusz Rajski	A Fast Sequential Learning Technique for Real Circuits with Application to Enhancing ATPG Performance.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	A. Grbic, Stephen Dean Brown, S. Caranci, R. Grindley, M. Gusat, Guy G. Lemieux, K. Loveless, Naraig Manjikian, Sinisa Srbljic, Michael Stumm, Zvonko G. Vranesic, Zeljko Zilic	Design and Implementation of the NUMAchine Multiprocessor.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee	An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Juin-Yeu Joseph Lu	Fault-Simulation Based Design Error Diagnosis for Sequential Circuits.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Dechang Sun, Bapiraju Vinnakota, Wanli Jiang	Fast State Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Aiguo Xie, Peter A. Beerel	Efficient State Classification of Finite State Markov Chains.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
1	Paulo Sérgio Cardoso, Marius Strum, José Roberto de A. Amazonas, Wang Jiang Chau	A Methodology for Minimum Area Cellular Automata Generation.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
1	Bärbel Ripplinger	EMIS: A Multilingual Information System.	AMTA	1998	DBLP DOI BibTeX RDF