Search results for "Reformulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Derek Long, Maria Fox 0001, Muna Hamdi	Reformulation in Planning.	SARA	2002	DBLP DOI BibTeX RDF
71	Jeff Huang 0002, Efthimis N. Efthimiadis	Analyzing and evaluating query reformulation strategies in web search logs.	CIKM	2009	DBLP DOI BibTeX RDF	search effectiveness, query reformulation, query log analysis
71	Bernard J. Jansen, Danielle L. Booth, Amanda Spink	Predicting query reformulation during web searching.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	stochastic process, n-grams, query reformulation, web queries, web sessions
71	Ying-Hsang Liu, Nicholas J. Belkin	Query reformulation, search performance, and term suggestion devices in question-answering tasks.	IIiX	2008	DBLP DOI BibTeX RDF	context within query, question-answering tasks, query expansion, query reformulation
67	Michael Huggett, Joel Lanir	Static reformulation: a user study of static hypertext for query-based reformulation.	JCDL	2007	DBLP DOI BibTeX RDF	associative similarity networks, automatically-constructed hypertext, query by reformulation, search versus browse
62	Christian Drescher, Toby Walsh	Reformulation of Global Constraints in Answer Set Programming.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
62	Djamal Habet, Philippe Jégou	Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
62	Van Dang, W. Bruce Croft	Query reformulation using anchor text.	WSDM	2010	DBLP DOI BibTeX RDF	anchor log, query substitution, query expansion, query reformulation, query log, anchor text
62	Xuefeng He, Jun Yan 0001, Jinwen Ma, Ning Liu 0001, Zheng Chen 0001	Query topic detection for reformulation.	WWW	2007	DBLP DOI BibTeX RDF	interaction information, query reformulation, topic
62	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
54	Igor Tatarinov, Alon Y. Halevy	Efficient Query Reformulation in Peer-Data Management Systems. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
54	Alin Deutsch, Val Tannen	Reformulation of XML Queries and Constraints.	ICDT	2003	DBLP DOI BibTeX RDF
54	Erica Melis, Jean Lieber, Amedeo Napoli	Reformulation in Case-Based Reasoning.	EWCBR	1998	DBLP DOI BibTeX RDF
52	Karim Filali, Anish Nair, Chris Leggetter	Transitive history-based query disambiguation for query reformulation.	SIGIR	2010	DBLP DOI BibTeX RDF	personalization, graphical models, reformulation
52	Amac Herdagdelen, Massimiliano Ciaramita, Daniel Mahler, Maria Holmqvist, Keith B. Hall, Stefan Riezler, Enrique Alfonseca	Generalized syntactic and semantic models of query reformulation.	SIGIR	2010	DBLP DOI BibTeX RDF	generalized edit distance, query rewriting, query reformulation, similarity metrics
52	Anna Mastora, Maria Monopoli, Sarantos Kapidakis	Exploring Query Formulation and Reformulation: A Preliminary Study to Map Users' Search Behaviour.	ECDL	2008	DBLP DOI BibTeX RDF	Search patterns, Query reformulation, Query formulation, Query length, Search behaviour
52	Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker	Abstractions for Knowledge Organization of Relational Descriptions.	SARA	2000	DBLP DOI BibTeX RDF	Unsupervised learning, Reformulation, Relational data
49	Hanif D. Sherali, Leo Liberti	Reformulation-Linearization Technique for Global Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Tight relaxations, Model reformulation, Mixed-integer 0-1 program, Factorable programs, Reduced relaxations, Convex hull, Valid inequalities, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs, Convex envelopes
49	Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace	Greater Efficiency for Conditional Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
47		Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Xiaoming Zheng, Sven Koenig	Market-Based Algorithms for Allocating Complex Tasks.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Gregory M. Provan, Ashish Sabharwal	Preface.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Stephen Lin, Robert Wright	Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Joshua Jones, Ashok K. Goel 0001	Effects of Faulty Knowledge Engineering on Structured Classification Learning.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Roman Barták, Ondrej Kuzelka, Filip Zelezný	Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Steven Loscalzo, Robert William Wright	Automatic Methods for Continuous State Space Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou 0001	Parallel Best-First Search: The Role of Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Susan L. Epstein, Xi Yun	From Unsolvable to Solvable: An Exploration of Simple Changes.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Lorenza Saitta, Christel Vrain, Zhaohui Wu 0003, Lu Jiang 0001, Qinghua Zheng, Jun Liu 0002	Abstracting Markov Networks.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu	Fast d-DNNF Compilation with sharpSAT.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
47	Lukas Kroc, Ashish Sabharwal, Bart Selman	Approximate Inference for Clusters in Solution Spaces.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
45	Kamran Munir, Mohammed Odeh, Richard McClatchey	Ontology assisted query reformulation using the semantic and assertion capabilities of OWL-DL ontologies.	IDEAS	2008	DBLP DOI BibTeX RDF
45	Rada Chirkova, Michael R. Genesereth	Linearly Bounded Reformulations of Unary Databases.	SARA	2000	DBLP DOI BibTeX RDF
42	Arne Berger, Jens Kürsten, Maximilian Eibl	Visual String of Reformulation.	HCI (9)	2009	DBLP DOI BibTeX RDF	interface, multimodal, customization, query reformulation
42	Youjin Chang, Jun Wang 0012, Mounia Lalmas	Generation of Query-Biased Concepts Using Content and Structure for Query Reformulation.	NLDB	2008	DBLP DOI BibTeX RDF	concept generation, feature extraction, relevance feedback, structure, query reformulation
42	Rui Ponte Costa, Nuno Seco	Hyponymy Extraction and Web Search Behavior Analysis Based on Query Reformulation.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Semantic Web Usage Mining, Hyponymy Extraction, Web User Search Behavior, Query Reformulation
42	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
42	Alessandro Bozzon, Paul-Alexandru Chirita, Claudiu S. Firan, Wolfgang Nejdl	Lexical analysis for modeling web query reformulation.	SIGIR	2007	DBLP DOI BibTeX RDF	lexical log analysis, query reformulation model
42	Bernadette Farias Lóscio, Thiago Costa, Ana Carolina Salgado	Query reformulation for an XML-based data integration system.	SAC	2006	DBLP DOI BibTeX RDF	XML, data integration, mediation, query reformulation
40	Lin Xu	Reformulation of Temporal Constraint Networks.	SARA	2002	DBLP DOI BibTeX RDF
40	Daniel Buettner	Abstraction and Reformulation in GraphPlan.	SARA	2002	DBLP DOI BibTeX RDF
37	Van Dang, Michael Bendersky, W. Bruce Croft	Learning to rank query reformulations.	SIGIR	2010	DBLP DOI BibTeX RDF	query performance predictor, query expansion, learning to rank, query reformulation, query log
37	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
37	Philippe Cudré-Mauroux, Suchit Agarwal, Karl Aberer	GridVine: An Infrastructure for Peer Information Management.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	semantic overlay infrastructure, peer-to-peer, knowledge management, query reformulation, data independence, semantic knowledge management
37	Bernard J. Jansen, Amanda Spink, Vinish Kathuria	How to Define Searching Sessions on Web Search Engines.	WEBKDD	2006	DBLP DOI BibTeX RDF	Markov states, query reformulation, Web queries, Web sessions
37	Warren P. Adams, Hanif D. Sherali	A Hierarchy of Relaxations Leading to the Convex Hull Representation for General Discrete Optimization Problems.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	discrete program, binary optimization, reformulation-linearization technique
35	José M. Perea-Ortega, Luis Alfonso Ureña López, Manuel García Vega, Miguel Angel García Cumbreras	Using Query Reformulation and Keywords in the Geographic Information Retrieval Task.	CLEF	2008	DBLP DOI BibTeX RDF
35	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating Constraint Satisfaction Problems to Improve Scalability.	SARA	2007	DBLP DOI BibTeX RDF
35	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh	Reformulating Global Constraints: The Slideand RegularConstraints.	SARA	2007	DBLP DOI BibTeX RDF
35	Peter McBrien, Alexandra Poulovassilis	P2P Query Reformulation over Both-As-View Data Transformation Rules.	DBISP2P	2006	DBLP DOI BibTeX RDF
35	Abdel Belaïd, I. Turcan, Jean-Marie Pierrel, Yolande Belaïd, Yves Rangoni, Hassen Hadjamar	Automatic Indexing and Reformulation of Ancient Dictionaries.	DIAL	2004	DBLP DOI BibTeX RDF
35	Peter Bruza, Robert McArthur, Simon Dennis	Interactive Internet search: keyword, directory and query reformulation mechanisms compared.	SIGIR	2000	DBLP DOI BibTeX RDF	field-empirical studies of the information seeking pro, monitoring user behaviour to improve search, navigation versus ad hoc search, World Wide Web (WWW), testing methodology
35	Colin Stirling	A Compositional Reformulation of Owicki-Gries's Partial Correctness Logic for a Concurrent While Language.	ICALP	1986	DBLP DOI BibTeX RDF
34	Hanif D. Sherali	Disjunctive Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polyhedral annexation, Facial disjunctive program, Nondominated cuts, Tight relaxations, Model reformulation, Mixed integer 0-1 programs, Convex hull, Cutting planes, Facet, Valid inequalities, Disjunctive programming, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs
32	Xuanhui Wang, ChengXiang Zhai	Mining term association patterns from search logs for effective query reformulation.	CIKM	2008	DBLP DOI BibTeX RDF	term association patterns, query reformulation, search log mining
32	Roman Barták	Generating Implied Boolean Constraints Via Singleton Consistency.	SARA	2007	DBLP DOI BibTeX RDF	implied constraints, singleton consistency, SAT, reformulation
32	J. Christopher Beck, Patrick Prosser, Evgeny Selensky	A case study of mutual routing-scheduling reformulation.	J. Sched.	2006	DBLP DOI BibTeX RDF	problem reformulation, job shop scheduling, empirical analysis, vehicle routing
32	Jens Grivolla	Using Oracle for natural language document retrieval an automatic query reformulation approach.	SIGIR	2005	DBLP DOI BibTeX RDF	natural language, Oracle, query reformulation
32	Leo Liberti	Reformulation and convex relaxation techniques for global optimization.	4OR	2004	DBLP DOI BibTeX RDF	bilinear problem, Global optimization, reformulation
32	Susan Gauch, John B. Smith	Search Improvement via Automatic Query Reformulation.	ACM Trans. Inf. Syst.	1991	DBLP DOI BibTeX RDF	full-text information retrieval, online search assistance, textbases, Expert Systems, query reformulation
30	Filip Dvorak, Daniel Toropila, Roman Barták	Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation.	SARA	2013	DBLP BibTeX RDF
30	Alban Grastien, Gianluca Torta	Reformulation for the Diagnosis of Discrete-Event Systems.	SARA	2011	DBLP BibTeX RDF
30	Michael Kassoff, Michael R. Genesereth	The Markov Reformulation Theorem.	SARA	2011	DBLP BibTeX RDF
30	Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder	A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game.	SARA	2011	DBLP BibTeX RDF
30	Radja Messai	Ontologies et services aux patients : Application à la reformulation des requêtes. (Ontologies and Services for Patients : Application in Query Reformulation Tasks).		2009	RDF
30	Dimitre Kostadinov	Personnalisation de l'information : une approche de gestion de profils et de reformulation de requêtes. (Data Personalization: an approach for profile management and query reformulation).		2007	RDF
30	Alan M. Frisch	Abstraction and Reformulation in the Generation of Constraint Models.	SARA	2007	DBLP DOI BibTeX RDF
30	Timothy L. Hinrichs, Michael R. Genesereth	Reformulation for Extensional Reasoning.	SARA	2007	DBLP DOI BibTeX RDF
30	Hadrien Cambazard, Barry O'Sullivan	A Reformulation-Based Approach to Explanation in Constraint Satisfaction.	SARA	2007	DBLP DOI BibTeX RDF
30	Leo Liberti	Reformulation and Convex Relaxation Techniques for Global Optimization. (Techniques de reformulation et relaxation convexe pour l'optimisation globale).		2004	RDF
30	J. Christopher Beck, Patrick Prosser, Evgeny Selensky	On the Reformulation of Vehicle Routing Problems and Scheduling Problems.	SARA	2002	DBLP DOI BibTeX RDF
30	Robert Glaubius	Reformulation of Non-binary Constraints.	SARA	2002	DBLP DOI BibTeX RDF
30	Peter Z. Revesz	Reformulation and Approximation in Model Checking.	SARA	2000	DBLP DOI BibTeX RDF
30	Eyal Amir, Sheila A. McIlraith	Improving the Efficiency of Reasoning Through Structure-Based Reformulation.	SARA	2000	DBLP DOI BibTeX RDF
29	Miquel Bofill, Dídac Busquets, Mateu Villaret	A declarative approach to robust weighted Max-SAT.	PPDP	2010	DBLP DOI BibTeX RDF	max-sat, robustness
29	Aris Anagnostopoulos, Luca Becchetti, Carlos Castillo 0001, Aristides Gionis	An optimization framework for query recommendation.	WSDM	2010	DBLP DOI BibTeX RDF	query reformulations, query suggestions
29	Rada Chirkova, Michael R. Genesereth	Equivalence of SQL queries in presence of embedded dependencies.	PODS	2009	DBLP DOI BibTeX RDF	embedded dependencies, conjunctive queries, query equivalence
29	Todd J. Green, Zachary G. Ives, Val Tannen	Reconcilable differences.	ICDT	2009	DBLP DOI BibTeX RDF
29	Seungmin Rho, Byeong-jun Han, Eenjun Hwang, Minkoo Kim	MUSEMBLE: A Music Retrieval System Based on Learning Environment.	ICME	2007	DBLP DOI BibTeX RDF
29	Yu Xia 0003, Jiming Peng	A Continuation Method for the Linear Second-Order Cone Complementarity Problem.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
29	Wen-Syan Li, K. Selçuk Candan, Kyoji Hirata, Yoshinori Hara	Supporting efficient multimedia database exploration.	VLDB J.	2001	DBLP DOI BibTeX RDF	Progressive processing, Selectivity statistics, Human computer interaction, Multimedia database, Exploration, Query relaxation
29	Rada Chirkova, Michael R. Genesereth	Linearly Bounded Reformulations of Conjunctive Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
29	Nicolaos B. Karayiannis	An axiomatic approach to soft learning vector quantization and clustering.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
29	Adam Brooks Webber	Optimization of Functional Programs by Grammar Thinning.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	optimization, functional languages, graph grammars
29	Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri	Complex Transitive Closure Queries on a Fragmented Graph.	ICDT	1990	DBLP DOI BibTeX RDF
29	Richard S. Marcus	Integration through intermediary system networks.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
27	David Ginat	The baffling CS notions of "as-if" and "don't-care".	SIGCSE	2010	DBLP DOI BibTeX RDF	task reformulation, abstraction, non-determinism
27	Leo Liberti, Nelson Maculan, Yue Zhang	Optimal configuration of gamma ray machine radiosurgery units: the sphere covering subproblem.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Gamma Knife, Sphere covering, Mathematical programming, Reformulation
27	Hanif D. Sherali, J. Cole Smith	Two-stage stochastic hierarchical multiple risk problems: models and algorithms.	Math. Program.	2009	DBLP DOI BibTeX RDF	Risk threshold, Benders’ partitioning, Risk management, Reformulation-linearization technique (RLT)
27	Konstantinos Makris, Nikos Bikakis, Nektarios Gioldasis, Chrisa Tsinaraki, Stavros Christodoulakis	Towards a Mediator Based on OWL and SPARQL.	WSKS (1)	2009	DBLP DOI BibTeX RDF	Semantic Web, Interoperability, OWL, Information Integration, SPARQL, Query Reformulation, Ontology Mapping
27	Adrian Popescu 0001, Hervé Le Borgne, Pierre-Alain Moëllic	Conceptual Image Retrieval over a Large Scale Database.	CLEF	2008	DBLP DOI BibTeX RDF	image retrieval, query reformulation, large-scale database
27	Jure Leskovec, Susan T. Dumais, Eric Horvitz	Web projections: learning from contextual subgraphs of the web.	WWW	2007	DBLP DOI BibTeX RDF	contextual subgraph, web search, web graph, query reformulation, web projection
27	Bernard J. Jansen, Amanda Spink, Bhuva Narayan	Query Modifications Patterns During Web Searching.	ITNG	2007	DBLP DOI BibTeX RDF	search engines, Web searching, query reformulation, Web queries, Web sessions
27	G. Craig Murray, Jimmy Lin, Abdur Chowdhury	Action modeling: language models that predict query behavior.	SIGIR	2006	DBLP DOI BibTeX RDF	user models, web search, query reformulation, query modeling
27	Fred W. Glover, Hanif D. Sherali	Some Classes of Valid Inequalities and Convex Hull Characterizations for Dynamic Fixed-Charge Problems under Nested Constraints.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	dynamic fixed-charge problems, capacitated lot-sizing, convex hull, valid inequalities, reformulation-linearization technique
27	Yi Shi 0001, Yiwei Thomas Hou, Hanif D. Sherali, Scott F. Midkiff	Cross-layer optimization for routing data traffic in UWB-based sensor networks.	MobiCom	2005	DBLP DOI BibTeX RDF	scheduling, sensor networks, routing, power control, branch-and-bound, cross-layer optimization, ultra-wide band (UWB), Reformulation-Linearization Technique (RLT)
27	Tadeusz Pankowski	Integration of XML Data in Peer-to-Peer E-Commerce Applications.	I3E	2005	DBLP DOI BibTeX RDF	Peer Database Management Systems, P2P e-commerce, Data integration, schema mapping, query reformulation, XML databases
27	Einat Amitay, Adam Darlow, David Konopnicki, Uri Weiss	Queries as anchors: selection by association.	Hypertext	2005	DBLP DOI BibTeX RDF	index enhancement, reformulation analysis, document expansion
27	Dwifiandika S. Faulus, Raymond T. Ng	An expressive language and interface for image querying.	Mach. Vis. Appl.	1997	DBLP DOI BibTeX RDF	Content-based image querying, Expressiveness of query language/interface, Query reformulation
27	Scott Henninger	Using Iterative Refinement to Find Reusable Software.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	factographic databases, retrieval tools, CodeFinder, incremental query construction, information retrieval, software tools, software reuse, software design, software reusability, subroutines, spreading activation, reusable software, reformulation, retrieval system, problem-solving process, component libraries