|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 620 occurrences of 416 keywords
|
|
|
Results
Found 1105 publication records. Showing 1105 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
155 | Erich Novak, Ian H. Sloan, Henryk Wozniakowski |
Tractability of Approximation for Weighted Korobov Spaces on Classical and Quantum Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 4(2), pp. 121-156, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Korobov spaces, Approximation, Randomized algorithms, Quantum computation, Tractability |
92 | Michael Gnewuch, Henryk Wozniakowski |
Generalized Tractability for Multivariate Problems Part II: Linear Tensor Product Problems, Linear Information, and Unrestricted Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 9(4), pp. 431-460, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 65D99 |
63 | Fedor V. Fomin, Saket Saurabh 0001 |
Kernelization Methods for Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 260-282, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
63 | Nikolaj S. Bjørner, Leonardo Mendonça de Moura |
Tractability and Modern Satisfiability Modulo Theories Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 350-377, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
63 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Summary - Exact Algorithms and Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![In: Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
63 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![In: Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
59 | Fred J. Hickernell, Henryk Wozniakowski |
Integration and approximation in arbitrary dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 12(1), pp. 25-58, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
curse of dimension, multivariate integration, multivariate approximation, 65D05, 41A63, tractability, 41A05, 41A25 |
47 | Suvrit Sra |
Tractable Optimization in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 202-230, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Lara Dolecek |
Towards Practical Graph-Based, Iteratively Decoded Channel Codes: Insights through Absorbing Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 304-328, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Pushmeet Kohli |
Efficient Submodular Function Minimization for Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 285-303, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Tony Jebara |
Perfect Graphs and Graphical Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 39-68, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | João Marques-Silva 0001, Inês Lynce |
SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 331-349, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Andreas Krause 0001, Daniel Golovin |
Submodular Function Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 71-104, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Adnan Darwiche |
Tractable Knowledge Representation Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 141-172, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Mohit Singh, Kunal Talwar |
Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 231-259, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Treewidth and Hypertree Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 3-38, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. xiii-xxii, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Vladimir Kolmogorov |
Tree-Reweighted Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 175-201, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Peter G. Jeavons, Stanislav Zivný |
Tractable Valued Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tractability ![In: Tractability: Practical Approaches to Hard Problems, pp. 105-140, 2014, Cambridge University Press, 9781139177801. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.) |
Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Tuan Zea Tan, Geok See Ng, Chai Quek |
Improving tractability of Clinical Decision Support system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 1997-2002, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Roded Sharan, Bjarni V. Halldórsson, Sorin Istrail |
Islands of Tractability for Parsimony Haplotyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2005, Stanford, CA, USA, August 8-11, 2005, pp. 65-72, 2005, IEEE Computer Society, 0-7695-2344-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
approximation algorithm, complexity, fixed parameter tractability, genotype, parsimony, Haplotype inference |
38 | Thomas Eiter, Kazuhisa Makino |
On computing all abductive explanations from a propositional Horn theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms |
38 | Stefan Porschen, Ewald Speckenmeyer |
Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT (Selected Papers ![In: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 251-262, 2004, Springer, 3-540-27829-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability |
38 | Tak-Ming Law |
Fair Play Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Media Technology ![In: Active Media Technology, 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001, Proceedings, pp. 297-301, 2001, Springer, 3-540-43035-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fairness, tractability, disputes |
36 | Gianluigi Greco, Francesco Scarcello |
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 327-338, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
structural decomposition methods, tree projections, local consistency |
36 | David A. Cohen, Martin James Green, Chris Houghton |
Constraint Representations and Structural Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 289-303, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero |
Characterizing Tractability with Membrane Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania, pp. 448-457, 2005, IEEE Computer Society, 0-7695-2453-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Hubie Chen, Víctor Dalmau |
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 182-196, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote |
Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 836-843, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
clustering, complexity, lower bound, dimension, fixed-parameter tractability |
34 | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 664-674, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
existential second-order logic, existential second-order formula, prefix class, first-order quantifiers, polynomial-time solvable problem, computational complexity, computational complexity, graph theory, graphs, directed graphs, NP-complete problems, formal logic, undirected graphs, descriptive complexity, tractability |
34 | Haim Kaplan, Ron Shamir, Robert Endre Tarjan |
Tractability of parameterized completion problems on chordal and interval graphs: Minimum Fill-in and Physical Mapping ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 780-791, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
added edges, parameterized completion problems, minimum fill-in, NP-Hard graph completion problem, interval graphs, parameterized complexity, tractability, vertex coloring, physical mapping |
31 | Henryk Wozniakowski |
Tractability and Strong Tractability of Linear Multivariate Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 10(1), pp. 96-128, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Gösta Grahne, Adrian Onet |
Data correspondence, exchange and repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 219-230, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara |
A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings, pp. 68-83, 2009, Springer, 978-3-642-03792-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Masayuki Murakami, Nakaji Honda |
Performance of the IDS Method as a Soft Computing Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(6), pp. 1582-1596, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini 0001, Charis Papadopoulos, Frances A. Rosamond |
Clustering with Partial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 144-155, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf Niedermeier, Frances A. Rosamond |
How similarity helps to efficiently compute Kemeny rankings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 657-664, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
structural parameterization, exact algorithm, NP-hard problem, fixed-parameter tractability, rank aggregation |
28 | Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier |
Data reduction and exact algorithms for clique cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 13, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clique cover, data reduction, fixed-parameter tractability |
28 | Mathias Möhl, Sebastian Will, Rolf Backofen |
Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008, Proceedings, pp. 69-81, 2008, Springer, 978-3-540-69066-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
RNA alignment, fixed parameter tractability, pseudoknots |
28 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Monadic datalog over finite structures with bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 165-174, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition |
28 | Vincent Berry, François Nicolas |
Improved Parameterized Complexity of the Maximum Agreement Subtree and Maximum Compatible Tree Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 3(3), pp. 289-302, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algorithms, pattern matching, trees, consensus, compatibility, fixed-parameter tractability, Phylogenetics |
28 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Tractable database design through bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 124-133, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
database design, normal forms, fixed-parameter tractability, tree decomposition, bounded treewidth |
28 | Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter |
Applying Modular Decomposition to Parameterized Bicluster Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 1-12, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs |
28 | Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier |
Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings, pp. 108-119, 2003, Springer, 3-540-40176-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
edge modification problems, data clustering, NP-complete problems, exact algorithms, fixed-parameter tractability |
28 | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001 |
The complexity of maximal constraint languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 667-674, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
algebraic invariance property, constraint satisfaciton problem, relational clone, complexity, NP-completeness, tractability, constraint language |
28 | Georg Gottlob, Francesco Scarcello, Martha Sideri |
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 1-18, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription |
28 | Byron Dom |
MDL estimation for small sample sizes and its application to segmenting binary strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 280-287, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
MDL estimation, binary strings segmentation, minimum description length estimation, sharper code-length formulas, relative tractability, binary strings, piecewise Bernoulli assumption, Bernoulli source, pattern recognition, computer vision, computer vision, small sample sizes |
28 | Brandon Bennett, Anthony G. Cohn 0001, Amar Isli |
Combining Multiple Representations in a Spatial Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 314-322, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations |
28 | James M. Butler |
Quantum modeling of distributed object computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 175-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
quantum modeling, computer engineering community, large scale design, large scale verification, LCN model, real-world network topologies, DCO model, system-independent method, complex object oriented computing structures, DCO software mapping, object system mapping model, OSM model, modeling, software engineering, design, message passing, tools, local area networks, digital simulation, object-oriented methods, client-server systems, dynamic models, large scale systems, random processes, tractability, multicomputer systems, distributed object computing, random variables, mission critical systems |
28 | Jean-Pierre Corriveau |
A time-constrained architecture for cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 13-22, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
time-constrained architecture, computational approaches, static strategy, diachronic nature, strong tractability, epistemological commitments, time-constrained model, massively parallel network, simple signals, object-oriented hierarchy, parallel architectures, knowledge based systems, software reliability, software reliability, memory, knowledge base, cognition, cognitive architectures, cognitive architecture, cognitive systems |
28 | Lotfi A. Zadeh |
Soft Computing and Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(6), pp. 48-56, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
low solution cost, human mind, software engineering, software engineering, fuzzy logic, fuzzy logic, robustness, uncertainty, neural nets, inference mechanisms, soft computing, probabilistic reasoning, uncertainty handling, tractability, imprecision, neurocomputing, software methodologies |
28 | Thin-Fong Tsuei, Mary K. Vernon |
A Multiprocessor Bus Design Model Validated by System Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(6), pp. 712-727, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
commercial multiprocessor bus, bus design, asynchronous memorywrite operations, in-order delivery, processor read requests, memoryresponses, outstanding processor requests, two-level hierarchical model, mean value analysis techniques, measured system performance, parallel program workloads, memory access characteristics, analytic queueing models, model tractability, detailed simulation, system design tradeoffs, parallel programming, formal verification, Markov chain, Markov processes, queueing theory, multiprocessing systems, queueing networks, system buses, priority scheduling, performanceevaluation, system measurement |
26 | Binhai Zhu |
Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, pp. 71-80, 2009, Springer, 978-3-642-02016-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx |
Minimizing Movement: Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 718-729, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Bruno Marnette |
Generalized schema-mappings: from termination to tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 13-22, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
weak acyclicity, data exchange, core, universal solution |
26 | Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie |
Shorelines of Islands of Tractability: Algorithms for Parsimony and Minimum Perfect Phylogeny Haplotyping Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(2), pp. 301-312, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biology and genetics, Combinatorial algorithms, Complexity hierarchies |
26 | Roman Barták, Ondrej Cepek |
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 235-246, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
temporal networks, complexity, alternatives, constraint models |
26 | Roded Sharan, Bjarni V. Halldórsson, Sorin Istrail |
Islands of Tractability for Parsimony Haplotyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 3(3), pp. 303-311, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graph algorithms, Biology and genetics, analysis of algorithms and problem complexity |
26 | Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier, Anke Truß |
Fixed-Parameter Tractability Results for Feedback Set Problems in Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings, pp. 320-331, 2006, Springer, 3-540-34375-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Chris Houghton, David A. Cohen, Martin James Green |
The Effect of Constraint Representation on Structural Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 726-730, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie |
Beaches of Islands of Tractability: Algorithms for Parsimony and Minimum Perfect Phylogeny Haplotyping Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings, pp. 80-91, 2006, Springer, 3-540-39583-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Frank K. H. A. Dehne |
FPT at Work: Using Fixed Parameter Tractability to Solve Larger Instances of Hard Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 278, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001 |
Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 203-214, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Martin Scholz |
On the Tractability of Rule Discovery from Distributed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 27-30 November 2005, Houston, Texas, USA, pp. 761-764, 2005, IEEE Computer Society, 0-7695-2278-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Marion G. Ceruti, Stuart Harvey Rubin |
Infodynamics III: Information Integration and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 25-31, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Hubie Chen, Víctor Dalmau |
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 232-247, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Richard Gault, Peter Jeavons 0001 |
Implementing a Test for Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(2), pp. 139-160, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Polyanna, complexity, polymorphism, symmetry, constraint language |
26 | Jörg Flum, Martin Grohe, Mark Weyer |
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 555-567, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
The Tractability of Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 716-720, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Mark Weyer |
Bounded Fixed-Parameter Tractability: The Case 2poly(k). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 49-60, 2004, Springer, 3-540-23071-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Marek Karpinski, Andrzej Rucinski 0001, Edyta Szymanska |
The Complexity of Perfect Matching Problems on Dense Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 626-636, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Calì, Georg Gottlob, Andreas Pieris |
Tractable Query Answering over Conceptual Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 175-190, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Foto N. Afrati, Phokion G. Kolaitis |
Repair checking in inconsistent databases: algorithms and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 31-41, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs |
20 | Sue Whitesides |
Intractability in Graph Drawing and Geometry: FPT Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCA ![In: Combinatorial Algorithms, 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28-July 2, 2009, Revised Selected Papers, pp. 20-23, 2009, Springer, 978-3-642-10216-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Fast Counting with Bounded Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 436-450, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Scarcello, Georg Gottlob, Gianluigi Greco |
Uniform Constraint Satisfaction Problems and Database Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complexity of Constraints ![In: Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]., pp. 156-195, 2008, Springer, 978-3-540-92799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Luca Trevisan |
Average-case Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 11, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
Copeland Voting Fully Resists Constructive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings, pp. 165-176, 2008, Springer, 978-3-540-68865-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Computational social choice theory, multiagent systems, preference aggregation |
20 | Vibhore Kumar, Brian F. Cooper, Greg Eisenhauer, Karsten Schwan |
iManage: Policy-Driven Self-management for Enterprise-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings, pp. 287-307, 2007, Springer, 978-3-540-76777-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Bayesian Networks, Policies, Self-Management, Enterprise-Systems |
20 | Benny Kimelfeld, Yehoshua Sagiv |
Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings, pp. 141-152, 2006, Springer, 3-540-35472-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Bosc, Olivier Pivert |
About projection-selection-join queries addressed to possibilistic relational databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(1), pp. 124-139, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien |
Tractable Clones of Polynomials over Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 196-210, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Andrei A. Krokhin, Benoît Larose |
Maximum Constraint Satisfaction on Diamonds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 388-402, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Phokion G. Kolaitis |
Constraint Satisfaction, Complexity, and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 1-2, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Wiebe van der Hoek, Michael J. Wooldridge |
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(1), pp. 125-157, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Cooperation logic, model checking, game theory, epistemic logic |
20 | Michael J. Wooldridge |
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 318, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Wooldridge, Wiebe van der Hoek |
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, pp. 4, 2002, Springer, 3-540-43410-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 310-326, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Richard Butterworth, Ann Blandford, David J. Duke |
Demonstrating the Cognitive Plausibility of Interactive System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 237-259, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Programmable User Modelling (PUM), Cognitive plausibility, Electronic diary systems, Human-Computer Interaction (HCI), Interactive systems, Formal modelling |
20 | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001 |
Constraint Satisfaction Problems and Finite Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 272-282, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Eiter, Thomas Lukasiewicz |
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 313-328, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Juraj Hromkovic |
Stability of Approximation Algorithms for Hard Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 29-47, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Michael R. Fellows, Michael T. Hallett, Chantal Korostensky, Ulrike Stege |
Analogs and Duals of the MAST Problem for Sequences and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '98, 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings, pp. 103-114, 1998, Springer, 3-540-64848-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Latha S. Colby, Leonid Libkin |
Tractable Iteration Mechanisms for Bag Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 461-475, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Dániel Marx |
Tractable hypergraph properties for constraint satisfaction and conjunctive queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 735-744, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability |
18 | Dániel Marx |
Completely Inapproximable Monotone and Antimonotone Parameterized Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 25th Annual IEEE Conference on Computational Complexity, CCC 2010, Cambridge, Massachusetts, USA, June 9-12, 2010, pp. 181-187, 2010, IEEE Computer Society, 978-0-7695-4060-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parameterized comlexity, approximation, fixed-parameter tractability, inapproximability |
18 | Grzegorz W. Wasilkowski, Henryk Wozniakowski |
Polynomial-Time Algorithms for Multivariate Linear Problems with Finite-Order Weights: Average Case Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 9(1), pp. 105-132, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multivariate linear problems, Finite-order weights, Small effective dimension, Average case setting, Polynomial-time algorithms, Tractability |
18 | Jianer Chen, Yang Liu 0002, Songjian Lu |
An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(1), pp. 1-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multiway cut problem, Network flow, Fixed-parameter tractability, Minimum cut, Parameterized algorithm |
18 | Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter |
Applying Modular Decomposition to Parameterized Cluster Editing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(1), pp. 91-104, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs |
Displaying result #1 - #100 of 1105 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|