Search results for "search problems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
2	Arnold Beckmann	A Characterisation of Definable NP Search Problems in Peano Arithmetic.	WoLLIC	2009	DBLP DOI BibTeX RDF
2	Yong Shi	Towards solving similarity search problems using fuzzy concept for multi-dimensional data.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
2	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	Solution Enumeration for Projected Boolean Search Problems.	CPAIOR	2009	DBLP DOI BibTeX RDF
2	Pawel Sitek, Jaroslaw Wikarek	A Declarative Framework for Constrained Search Problems.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Scheduling, DSS, Constraint Logic Programming
2	Amos Beimel, Tal Malkin, Kobbi Nissim, Enav Weinreb	How Should We Solve Search Problems Privately?	CRYPTO	2007	DBLP DOI BibTeX RDF
2	Amos Beimel, Paz Carmi, Kobbi Nissim, Enav Weinreb	Private approximation of search problems.	STOC	2006	DBLP DOI BibTeX RDF	private approximation, solution-list algorithm, vertex cover, secure computation
2	Pavel Pudlák	On Search Problems in Complexity Theory and in Logic (Abstract).	CIAC	2006	DBLP DOI BibTeX RDF
2	Philippe Chapdelaine, Nadia Creignou	The complexity of Boolean constraint satisfaction local search problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	PLS-complete, optimization, complexity, local search, satisfiability, PLS
2	Omer Barkol, Yuval Ishai	Secure Computation of Constant-Depth Circuits with Applications to Database Search Problems.	CRYPTO	2005	DBLP DOI BibTeX RDF
2	Josh Buresh-Oppenheim, Tsuyoshi Morioka	Relativized NP Search Problems and Propositional Proof Systems.	IEEE Conference on Computational Complexity	2004	DBLP DOI BibTeX RDF
2	Nuno Gomes, Zita A. Vale, Carlos Ramos	Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.	CP	2003	DBLP DOI BibTeX RDF
2	Boris Stilman	Linguistic Geometry for Solving War Games.	Computers and Games	2000	DBLP DOI BibTeX RDF	war games, symmetric/asymmetric war games, linguistic geometry, reduced search, strategies, search problems, board games
2	Koji Nakano, Stephan Olariu	An Efficient Algorithm for Row Minima Computations on Basic Reconfigurable Meshes.	IEEE Trans. Parallel Distrib. Syst.	1998	DBLP DOI BibTeX RDF	Monotone matrices, totally monotone matrices, row minima, basic reconfigurable meshes, cellular system design, VLSI design, search problems, reconfigurable meshes, facility location problems
2	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	FOCS	1997	DBLP DOI BibTeX RDF	monotone NC hierarchy, tight lower bounds, monotone depth, DART games, communication complexity, communication complexity, search problems, monotone Boolean function
2	Mladen Stanojevic, Sanja Vranes, Dusan M. Velasevic	Pattern-Matching in Search Problem Solving. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF	expert systems, pattern-matching, search problems, constraint satisfaction problems, inference engine
2	William Rucklidge	Locating Objects Using the Hausdorff Distance. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	object location, planar object pose, rasterised approach, image representation, object detection, search problems, search problems, set theory, image features, affine transformation, Hausdorff distance, point sets, multiple objects, quality criteria, model features, weak perspective projection
2	László Lovász, Moni Naor, Ilan Newman, Avi Wigderson	Search Problems in the Decision Tree Model (Preliminary Version)	FOCS	1991	DBLP DOI BibTeX RDF	Boolean decision tree model, CNF search, complexities, randomness, search problems, determinism, nondeterminism
2	Andreas Blass, Yuri Gurevich	Randomizing Reductions of Search Problems.	FSTTCS	1991	DBLP DOI BibTeX RDF
2	Russell Impagliazzo, Gábor Tardos	Decision Versus Search Problems in Super-Polynomial Time	FOCS	1989	DBLP DOI BibTeX RDF	X-search problem, super-polynomial time, decidable, search problems, decision problems, parallel complexity
2	Chee Fen Yu, Benjamin W. Wah	Learning Dominance Relations in Combinatorial Search Problems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	combined search problems, search graphs, 0/1-knapsack problem, inventory problem, reliability-by-replication, two-machine flow shop problem, two-machine scheduling, scheduling, machine learning, artificial intelligence, artificial intelligence, optimisation, optimisation, learning systems, single-machine scheduling, combinatorial mathematics, dominance relations
1	Itai Dinur, Orr Dunkelman, Nathan Keller, Adi Shamir	Efficient Dissection of Composite Problems, with Applications to Cryptanalysis, Knapsacks, and Combinatorial Search Problems.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell	Enfragmo: A System for Modelling and Solving Search Problems with Logic.	LPAR	2012	DBLP DOI BibTeX RDF
1	Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner, Maximilian Witek	Structural Complexity of Multiobjective NP Search Problems.	LATIN	2012	DBLP DOI BibTeX RDF
1	Michael T. Goodrich, Roberto Tamassia, Nikos Triandopoulos	Efficient Authenticated Data Structures for Graph Connectivity and Geometric Search Problems.	Algorithmica	2011	DBLP DOI BibTeX RDF
1	Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen	The provably total NP search problems of weak second order bounded arithmetic.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	T. Hogg	Solving Highly Constrained Search Problems with Quantum Computers	CoRR	2011	DBLP BibTeX RDF
1	Arno Pauly	Many-one reductions between search problems	CoRR	2011	DBLP BibTeX RDF
1	Tomás Skopal, Benjamin Bustos	On nonmetric similarity search problems in complex domains.	ACM Comput. Surv.	2011	DBLP DOI BibTeX RDF
1	Neil Thapen	Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
1	Lars Kotthoff, Ian P. Gent, Ian Miguel	A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems.	SOCS	2011	DBLP BibTeX RDF
1	Logan Moon, Daniel Long, Shreyas Joshi, Vyomkesh Tripathi, Bo Xiao, George Biros	Poster: parallel algorithms for clustering and nearest neighbor search problems in high dimensions.	SC Companion	2011	DBLP DOI BibTeX RDF
1	Benjamin Bustos, Tomás Skopal	Non-metric similarity search problems in very large collections.	ICDE	2011	DBLP DOI BibTeX RDF
1	Shahab Tasharrofi, Eugenia Ternovska	A Semantic Account for Modularity in Multi-language Modelling of Search Problems.	FroCos	2011	DBLP DOI BibTeX RDF
1	Amos Beimel, Tal Malkin, Kobbi Nissim, Enav Weinreb	How Should We Solve Search Problems Privately?	J. Cryptology	2010	DBLP DOI BibTeX RDF
1	Lihua Wang, Licheng Wang, Zhenfu Cao, Eiji Okamoto, Jun Shao	New Constructions of Public-Key Encryption Schemes from Conjugacy Search Problems.	Inscrypt	2010	DBLP DOI BibTeX RDF
1	Shahab Tasharrofi, Eugenia Ternovska	PBINT, A Logic for Modelling Search Problems Involving Arithmetic.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
1	Ryan Mohr, Igor Mezic	The use of ergodic theory in designing dynamics for search problems.	CDC	2010	DBLP DOI BibTeX RDF
1	Ronald Cramer, Dennis Hofheinz, Eike Kiltz	A Twist on the Naor-Yung Paradigm and Its Application to Efficient CCA-Secure Encryption from Hard Search Problems.	TCC	2010	DBLP DOI BibTeX RDF
1	Michael Bendersky, Evgeniy Gabrilovich, Vanja Josifovski, Donald Metzler	The anatomy of an ad: structured indexing and retrieval for sponsored search.	WWW	2010	DBLP DOI BibTeX RDF	sponsored search, structured retrieval
1	Jeffrey Pound, Peter Mika, Hugo Zaragoza	Ad-hoc object retrieval in the web of data.	WWW	2010	DBLP DOI BibTeX RDF	evaluation, semantic search, object retrieval
1	Akinori Kawachi, Osamu Watanabe	Strong Hardness Preserving Reduction from a P-Samplable Distribution to the Uniform Distribution for NP-Search Problems.	Electronic Colloquium on Computational Complexity (ECCC)	2009	DBLP BibTeX RDF
1	Michael T. Goodrich, Roberto Tamassia, Nikos Triandopoulos	Efficient Authenticated Data Structures for Graph Connectivity and Geometric Search Problems	CoRR	2009	DBLP BibTeX RDF
1	Eugenia Ternovska, David G. Mitchell	Declarative Programming of Search Problems with Built-in Arithmetic.	IJCAI	2009	DBLP BibTeX RDF
1	Michalis Vavouras, Kyprianos Papadimitriou, Ioannis Papaefstathiou	Implementation of a genetic algorithm on a virtex-ii pro FPGA.	FPGA	2009	DBLP DOI BibTeX RDF	multiplier blocks, genetic algorithm, fpga, fitness functions
1	Eyal Kushilevitz, Enav Weinreb	On the complexity of communication complexity.	STOC	2009	DBLP DOI BibTeX RDF	protocol tree, lower bounds, communication complexity, hardness of approximation, pseudo random functions
1	Mukul S. Bansal, Oliver Eulenstein, André Wehe	The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI-Based Local Searches.	IEEE/ACM Trans. Comput. Biology Bioinform.	2009	DBLP DOI BibTeX RDF	Computational phylogenetics, {tt NNI}, local search, gene-duplication, supertrees
1	Tomoyuki Hamamura, Takuma Akagi, Bunpei Irie	Bayesian Best-First Search for Pattern Recognition - Application to Address Recognition.	ICDAR	2009	DBLP DOI BibTeX RDF
1	Wataru Takano, Yoshihiko Nakamura	Statistically integrated semiotics that enables mutual inference between linguistic and behavioral symbols for humanoid robots.	ICRA	2009	DBLP DOI BibTeX RDF
1	Andrei Z. Broder	Algorithmic Challenge in Online Advertising.	AAIM	2009	DBLP DOI BibTeX RDF
1	J. Coego, Lawrence Mandow, José-Luis Pérez-de-la-Cruz	A New Approach to Iterative Deepening Multiobjective A.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Stefan S. Dantchev, Tom Friedetzky, Lars Nagel	Sublinear-Time Algorithms for Tournament Graphs.	COCOON	2009	DBLP DOI BibTeX RDF	random walk, tournament, sublinear-time algorithms
1	Yanyan Xu, Weiya Yue, Kaile Su	The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.	FAW	2009	DBLP DOI BibTeX RDF
1	Tsuyoshi Miyazaki, Takayuki Suzuki, Fujio Yamamoto	Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications.	HCI	2009	DBLP DOI BibTeX RDF	Software Education, Distributed Computing, Physical Computing
1	Pascal Katzenbach, Yann Lorion, Tjorben Bogon, Ingo J. Timm	A Decentralized Architecture for Distributed Neighborhood Based Search.	IWSOS	2009	DBLP DOI BibTeX RDF
1	James B. Orlin, Abraham P. Punnen, Andreas S. Schulz	Integer Programming: Optimization and Evaluation Are Equivalent.	WADS	2009	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Hubie Chen	Relatively quantified constraint satisfaction.	Constraints	2009	DBLP DOI BibTeX RDF	Quantified constraint satisfaction, Computational complexity
1	Boting Yang, Yi Cao	Monotonicity in digraph search problems.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Ralf Klasing, Euripides Markou, Tomasz Radzik, Fabiano Sarracco	Approximation bounds for Black Hole Search problems.	Networks	2008	DBLP DOI BibTeX RDF
1	Amos Beimel, Paz Carmi, Kobbi Nissim, Enav Weinreb	Private Approximation of Search Problems.	SIAM J. Comput.	2008	DBLP DOI BibTeX RDF
1	Yong Shi, Li Zhang	PanKNN: A Dimension-wise Approach to Similarity Search Problems.	DMIN	2008	DBLP BibTeX RDF
1	Iouliia Skliarova, Valery Sklyarov	Recursive versus Iterative Algorithms for Solving Combinatorial Search Problems in Hardware.	VLSI Design	2008	DBLP DOI BibTeX RDF
1	Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne	Physical Search Problems Applying Economic Search Models.	AAAI	2008	DBLP BibTeX RDF
1	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	Strongly-typed genetic programming and purity analysis: input domain reduction for evolutionary testing problems.	GECCO	2008	DBLP DOI BibTeX RDF	input domain reduction, search-based test case generation, strongly-typed genetic programming
1	Andrei Z. Broder	Computational advertising and recommender systems.	RecSys	2008	DBLP DOI BibTeX RDF	computational advertising, recommender systems, sponsored search, content match
1	Andrei Z. Broder	Computational advertising.	SODA	2008	DBLP DOI BibTeX RDF
1	Joseph Sharit, Mario A. Hernández, Sara J. Czaja, Peter Pirolli	Investigating the Roles of Knowledge and Cognitive Abilities in Older Adult Information Seeking on the Web.	ACM Trans. Comput.-Hum. Interact.	2008	DBLP DOI BibTeX RDF	Pathfinder networks, health information seeking, Internet, Human-computer interaction, search engines, mental models, older adults
1	Dimitar Baronov, John Baillieul	Search decisions for teams of automata.	CDC	2008	DBLP DOI BibTeX RDF
1	Zbigniew Kokosinski, Bartlomiej Malus	FPGA Implementations of a Parallel Associative Processor with Multi-Comparand Multi-Search Operations.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Yijia Zhao, Stephen D. Patek, Peter A. Beling	Decentralized Bayesian Search Using Approximate Dynamic Programming Methods.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2008	DBLP DOI BibTeX RDF
1	Peter C. Richter	The Quantum Complexity of Markov Chain Monte Carlo.	CiE	2008	DBLP DOI BibTeX RDF
1	Xi Chen, Xiaoming Sun, Shang-Hua Teng	Quantum Separation of Local Search and Fixed Point Computation.	COCOON	2008	DBLP DOI BibTeX RDF
1	Tetsuya Suzuki, Takehiro Tokuda	Initial Solution Set Improvement for a Genetic Algorithm in a Metadata Generation Support System for Landscape Photographs.	LKR	2008	DBLP DOI BibTeX RDF
1	Fei-Yue Wang	Linguistic Dynamic Systems for Computing with Words and Granular Computing.	RSKT	2008	DBLP DOI BibTeX RDF
1	Miklos Santha	Quantum Walk Based Search Algorithms.	TAMC	2008	DBLP DOI BibTeX RDF
1	Andrew Sadler, Carmen Gervet	Enhancing set constraint solvers with lexicographic bounds.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Constraint programming, Modelling languages
1	Monica Anderson, Nikolaos Papanikolopoulos	Implicit Cooperation Strategies for Multi-robot Search of Unknown Areas.	Journal of Intelligent and Robotic Systems	2008	DBLP DOI BibTeX RDF	Implicit communications, Search, Cooperation, Multirobot systems
1	Giuseppe Di Fatta, Michael R. Berthold	Decentralized load balancing for highly irregular search problems.	Microprocessors and Microsystems	2007	DBLP DOI BibTeX RDF
1	X. Yang, M. Sun	Theoretical Convergence Analysis of a General Division-deletion Algorithm for Solving Global Search Problems.	J. Global Optimization	2007	DBLP DOI BibTeX RDF
1	Jan Krajícek, Alan Skelley, Neil Thapen	NP search problems in low fragments of bounded arithmetic.	J. Symb. Log.	2007	DBLP BibTeX RDF
1	Ilya Shlyakhter	Generating effective symmetry-breaking predicates for search problems.	Discrete Applied Mathematics	2007	DBLP DOI BibTeX RDF
1	Kumara Sastry, David E. Goldberg, Xavier Llorà	Towards billion-bit optimization via a parallel estimation of distribution algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	billion-variable optimization, parallelization, vectorization, population sizing, large-scale optimization, efficiency enhancement, convergence time, scalability analysis, compact genetic algorithm
1	Gonzalo Navarro, Veli Mäkinen	Compressed full-text indexes.	ACM Comput. Surv.	2007	DBLP DOI BibTeX RDF	entropy, text compression, Text indexing
1	Gang Wu, Jia-Huai You, Guohui Lin	Quartet-Based Phylogeny Reconstruction with Answer Set Programming.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	quartet, Maximum Quartet Consistency (MQC), Answer Set Programming (ASP), ultrametric matrix, Phylogeny
1	Hui Wang 0002, Hui Li, Yong Liu, Changhe Li, Sanyou Y. Zeng	Opposition-based particle swarm algorithm with cauchy mutation.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Shigeru Yamashita, Masaki Nakanishi	A practical framework to utilize quantum search.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Xi Chen, Shang-Hua Teng	Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation.	FOCS	2007	DBLP DOI BibTeX RDF
1	Kousha Etessami, Mihalis Yannakakis	On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract).	FOCS	2007	DBLP DOI BibTeX RDF
1	Timothy H. Chung, Joel W. Burdick	A Decision-Making Framework for Control Strategies in Probabilistic Search.	ICRA	2007	DBLP DOI BibTeX RDF
1	Dave Ferguson, Anthony Stentz	Anytime, Dynamic Planning in High-dimensional Search Spaces.	ICRA	2007	DBLP DOI BibTeX RDF
1	Pablo San Segundo, Diego Rodríguez-Losada, Ramón Galán, Fernando Matía, Agustín Jiménez	Exploiting CPU Bit Parallel Operations to Improve Efficiency in Search.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Anindya J. Pal, Samar S. Sarma, Biman Ray	CCTP, Graph Coloring Algorithms - Soft Computing Solutions.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko	Coordinating Data Parallel SAC Programs with S-Net.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Haye Lau, Shoudong Huang, Gamini Dissanayake	Multi-agent search with interim positive information.	IROS	2007	DBLP DOI BibTeX RDF
1	Jianxin Wang, Min Huang, Jianer Chen	A Lower Bound on Approximation Algorithms for the Closest Substring Problem.	COCOA	2007	DBLP DOI BibTeX RDF
1	Denis Caromel, Alexandre di Costanzo, Laurent Baduel, Satoshi Matsuoka	Grid'BnB : A Parallel Branch and Bound Framework for Grids.	HiPC	2007	DBLP DOI BibTeX RDF
1	Jia Liu, Makoto Nakashima, Tetsuro Ito	BrowsReader: A System for Realizing a New Children's Reading Environment in a Library.	ICADL	2007	DBLP DOI BibTeX RDF	Children’s digital reading room, children’s digital library, picture books, browsing interface
1	Martin Gebser	Advanced Techniques for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
1	Will Bridewell, Ljupco Todorovski	Learning Declarative Bias.	ILP	2007	DBLP DOI BibTeX RDF	inductive process modeling, transfer learning, meta-learning
1	Hui Wang 0002, Sanyou Y. Zeng, Yong Liu, Wenjun Wang, Hui Shi, Gang Liu	Re-diversification Based Particle Swarm Algorithm with Cauchy Mutation.	ISICA	2007	DBLP DOI BibTeX RDF