Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Josef Dick, Friedrich Pillichshammer |
Strong tractability of multivariate integration of arbitrary high order using digitally shifted polynomial lattice rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 23(4-6), pp. 436-453, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Arthur G. Werschulz |
A note on the complexity and tractability of the heat equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 23(4-6), pp. 553-559, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Arthur G. Werschulz, Henryk Wozniakowski |
Tractability of quasilinear problems I: General results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 145(2), pp. 266-285, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Emil W. Kiss, Matthew Valeriote |
On tractability and congruence distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 3(2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Arthur G. Werschulz, Henryk Wozniakowski |
Tractability of quasilinear problems II: Second-order elliptic problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 76(258), pp. 745-776, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer |
Bounded fixed-parameter tractability and reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 148(1-3), pp. 1-19, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard |
Tractability and learnability arising from algebras with few subpowers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 213-224, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yury Lifshits |
Processing Compressed Texts: A Tractability Border. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings, pp. 228-240, 2007, Springer, 978-3-540-73436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sylvain Guillemot, Vincent Berry |
Fixed-Parameter Tractability of the Maximum Agreement Supertree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings, pp. 274-285, 2007, Springer, 978-3-540-73436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette |
Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 340-351, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero, Álvaro Romero Jiménez |
Characterizing Tractability by Cell-Like Membrane Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models, Languages and Applications ![In: Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]., pp. 137-154, 2007, World Scientific, 978-981-256-889-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Magnús M. Halldórsson, Christian Knauer, Andreas Spillner 0001, Takeshi Tokuyama |
Fixed-Parameter Tractability for Non-Crossing Spanning Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings, pp. 410-421, 2007, Springer, 978-3-540-73948-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 389-404, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hector J. Levesque |
Some Further Thoughts on Expressiveness and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Ariel D. Procaccia, Jeffrey S. Rosenschein |
Average-case tractability of manipulation in voting via the fraction of manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 105, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jiong Guo, Rolf Niedermeier |
A fixed-parameter tractability result for multicommodity demand flow in trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 97(3), pp. 109-114, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rong-Xian Yue, Fred J. Hickernell |
Strong Tractability of Quasi-Monte Carlo Quadrature Using Nets for Certain Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 44(6), pp. 2559-2583, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Flum, Martin Grohe, Mark Weyer |
Bounded fixed-parameter tractability and log2n nondeterministic bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 72(1), pp. 34-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Emil W. Kiss, Matthew Valeriote |
On Tractability and Congruence Distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 221-230, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Guy E. Blelloch, Kedar Dhamdhere, Eran Halperin, R. Ravi 0001, Russell Schwartz, Srinath Sridhar 0001 |
Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, pp. 667-678, 2006, Springer, 3-540-35904-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 250-256, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Venkatesh Raman 0001, Saket Saurabh 0001 |
Triangles, 4-Cycles and Parameterized (In-)Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT 2006, 10th ScandinavianWorkshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings, pp. 304-315, 2006, Springer, 3-540-35753-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jan Kára, Jan Kratochvíl |
Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs. ![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. 166-174, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rong-Xian Yue, Fred J. Hickernell |
Strong tractability of integration using scrambled Niederreiter points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 74(252), pp. 1871-1893, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jiong Guo, Rolf Niedermeier |
Fixed-parameter tractability and data reduction for multicut in trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 46(3), pp. 124-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | T. K. Satish Kumar |
On the Tractability of Smooth Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, pp. 304-319, 2005, Springer, 3-540-26152-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier |
Extending the Tractability Border for Closest Leaf Powers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers, pp. 397-408, 2005, Springer, 3-540-31000-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | T. K. Satish Kumar |
On the Tractability of Restricted Disjunctive Temporal Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA, pp. 110-119, 2005, AAAI, 1-57735-220-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | David A. Cohen, Peter Jeavons 0001, Marc Gyssens |
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 72-77, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Martin James Green |
New methods for the tractability of constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
16 | Erich Novak, Harald Pfeiffer |
Coin Tossing Algorithms for Integral Equations and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monte Carlo Methods Appl. ![In: Monte Carlo Methods Appl. 10(3-4), pp. 491-498, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
Existential second-order logic over graphs: Charting the tractability frontier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(2), pp. 312-362, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory |
16 | David Liben-Nowell, Jon M. Kleinberg |
Structural properties and tractability results for linear synteny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Discrete Algorithms ![In: J. Discrete Algorithms 2(2), pp. 207-228, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hrushikesh Narhar Mhaskar |
On the tractability of multivariate integration and approximation by neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 20(4), pp. 561-590, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ian H. Sloan, Xiaoqun Wang, Henryk Wozniakowski |
Finite-order weights imply tractability of multivariate integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 20(1), pp. 46-74, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Grzegorz W. Wasilkowski, Henryk Wozniakowski |
Finite-order weights imply tractability of linear multivariate problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 130(1), pp. 57-77, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Fred J. Hickernell, Ian H. Sloan, Grzegorz W. Wasilkowski |
On tractability of weighted integration over bounded and unbounded regions in Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 73(248), pp. 1885-1901, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Fred J. Hickernell, Ian H. Sloan, Grzegorz W. Wasilkowski |
On strong tractability of weighted multivariate integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 73(248), pp. 1903-1911, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Wim Martens, Frank Neven |
Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France, pp. 23-34, 2004, ACM, 1-58113-858-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ana-Maria Popescu, Alex Armanasu, Oren Etzioni, David Ko, Alexander Yates |
PRECISE on ATIS: Semantic Tractability and Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 1026-1027, 2004, AAAI Press / The MIT Press, 0-262-51183-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Paul E. Dunne, Michael Laurence, Michael J. Wooldridge |
Tractability Results for Automatic Contracting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 1003-1004, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Ana-Maria Popescu, Alex Armanasu, Oren Etzioni, David Ko, Alexander Yates |
Modern Natural Language Interfaces to Databases: Composing Statistical Parsing with Semantic Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2004, 20th International Conference on Computational Linguistics, Proceedings of the Conference, 23-27 August 2004, Geneva, Switzerland, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Xishun Zhao, Decheng Ding |
Fixed-Parameter Tractability of Disjunction-Free Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 18(1), pp. 118-124, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Peter Heusch, Stefan Porschen, Ewald Speckenmeyer |
Improving a fixed parameter tractability time bound for the shadow problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 67(4), pp. 772-788, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Larcher, Gunther Leobacher, Klaus Scheicher |
On the tractability of the Brownian Bridge algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 19(4), pp. 511-528, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gunther Leobacher, Friedrich Pillichshammer |
Bounds for the weighted Lp discrepancy and tractability of integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 19(4), pp. 529-547, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Henryk Wozniakowski |
Open problems for tractability of multivariate integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 19(3), pp. 434-444, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoqun Wang |
Strong tractability of multivariate integration using quasi-Monte Carlo algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 72(242), pp. 823-838, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yong Gao 0001 |
Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, August 7-10 2003, pp. 265-271, 2003, Morgan Kaufmann, 0-127-05664-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Aleksandrs Slivkins |
Parameterized Tractability of Edge-Disjoint Paths on Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2003, 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings, pp. 482-493, 2003, Springer, 3-540-20064-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alexander G. Gray, Andrew W. Moore 0001 |
Nonparametric Density Estimation: Toward Computational Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the Third SIAM International Conference on Data Mining, San Francisco, CA, USA, May 1-3, 2003, pp. 203-211, 2003, SIAM, 978-0-89871-545-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Martin James Green, David A. Cohen |
Tractability by Approximating Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 392-406, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yongmei Liu 0001, Hector J. Levesque |
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 83-88, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Ian H. Sloan, Henryk Wozniakowski |
Tractability of Integration in Non-periodic and Periodic Weighted Tensor Product Hilbert Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 18(2), pp. 479-499, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoqun Wang |
A Constructive Approach to Strong Tractability Using Quasi-Monte Carlo Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 18(3), pp. 683-701, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ian H. Sloan, Frances Y. Kuo, Stephen Joe |
On the step-by-step construction of quasi-Monte Carlo integration rules that achieve strong tractability error bounds in weighted Sobolev spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 71(240), pp. 1609-1640, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Fred J. Hickernell, Xiaoqun Wang |
The error bounds and tractability of quasi-Monte Carlo algorithms in infinite dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 71(240), pp. 1641-1661, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
Tractability Results in the Block Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 12(5), pp. 885-909, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Aline Brum Loreto, Leila Ribeiro 0001, Laira Vieira Toscani |
Decidability and Tractability of Problems in Object-Based Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada, pp. 396-408, 2002, Kluwer, 1-4020-7181-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Romeo Rizzi, Vineet Bafna, Sorin Istrail, Giuseppe Lancia |
Practical Algorithms and Fixed-Parameter Tractability for the Single Individual SNP Haplotyping Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 29-43, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Konrad Schlude |
Distributed data & resources: models, tractability, and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
16 | Fred J. Hickernell, Henryk Wozniakowski |
Tractability of Multivariate Integration for Periodic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 17(4), pp. 660-682, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ian H. Sloan, Henryk Wozniakowski |
Tractability of Multivariate Integration for Weighted Korobov Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 17(4), pp. 697-721, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Flum, Martin Grohe |
Fixed-Parameter Tractability, Definability, and Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 31(1), pp. 113-145, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Anna Maria Di Sciullo, Sandiway Fong |
Asymmetry, Zero Morphology and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 15th Pacific Asia Conference on Language, Information and Computation, PACLIC 2001, Hong Kong, China, February 1-3, 2001, pp. 61-72, 2001, City University of Hong Kong, 962-442-184-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Gerald Penn |
Tractability and Structural Closures in Attribute Logic Type Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: Association for Computational Linguistic, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, July 9-11, 2001, Toulouse, France., pp. 410-417, 2001, Morgan Kaufmann Publishers. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Douglas A. Miller, Steven W. Zucker |
Cliques, computation, and computational tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 33(4), pp. 535-542, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Noriko H. Arai |
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 243(1-2), pp. 185-197, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Steven G. Kou |
A jump diffusion model for option pricing with three properties: leptokurtic feature, volatility smile, and analytical tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIFEr ![In: Proceedings of the IEEE/IAFE/INFORMS 2000 Conference on Computational Intelligence for Financial Engineering, CIFEr 2000, New York City, USA, March 28, 2000, pp. 129-131, 2000, IEEE, 0-7803-6429-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | David Liben-Nowell, Jon M. Kleinberg |
Structural Properties and Tractability Results for Linear Synteny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings, pp. 248-263, 2000, Springer, 3-540-67633-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Collette, Cliff B. Jones |
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 277-308, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
Reasoning about Generalized Intervals: Horn Representability and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 23-29, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Peter Gomber, Claudia Schmidt, Christof Weinhardt |
Efficiency, Incentives, and Computational Tractability in Mas-Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cooperative Inf. Syst. ![In: Int. J. Cooperative Inf. Syst. 8(1), pp. 1-14, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas D. Sidiropoulos |
On the tractability of estimating the germ process of certain germ-grain random set models and related problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 32(9), pp. 1667-1674, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Flum, Martin Grohe |
Fixed-parameter tractability, definability, and model checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CC/9910001, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Rodney G. Downey, Michael R. Fellows, Ulrike Stege |
Computational Tractability: The View From Mars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 69, pp. 73-97, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Haim Kaplan, Ron Shamir, Robert Endre Tarjan |
Tractability of Parameterized Completion Problems on Chordal, Strongly Chordal, and Proper Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 28(5), pp. 1906-1922, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Broxvall, Peter Jonsson |
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings, pp. 129-143, 1999, Springer, 3-540-66626-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Drakengren, Peter Jonsson |
A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 106(2), pp. 205-219, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Shlomo Argamon-Engelson, Moshe Koppel |
Tractability of Theory Patching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 8, pp. 39-65, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Shlomo Argamon-Engelson, Moshe Koppel |
Tractability of Theory Patching ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/9803103, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Martin C. Cooper |
The Tractability of Segmentation and Scene Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 30(1), pp. 27-42, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
computational complexity, segmentation, NP-completeness, scene analysis |
16 | Liming Cai, Jianer Chen |
On Fixed-Parameter Tractability and Approximability of NP Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 54(3), pp. 465-474, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Peter Jonsson, Thomas Drakengren |
A Complete Classification of Tractability in RCC-5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 6, pp. 211-221, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Peter Jonsson, Thomas Drakengren |
A Complete Classification of Tractability in RCC-5 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/9706102, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Erich Novak, Ian H. Sloan, Henryk Wozniakowski |
Tractability of Tensor Product Linear Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 13(4), pp. 387-418, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
Advice Classes of Parameterized Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 84(1), pp. 119-138, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Drakengren, Peter Jonsson |
Towards a Complete Classification of Tractability in Allen's Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes, pp. 1466-1475, 1997, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Leizhen Cai |
Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 58(4), pp. 171-176, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Noriko H. Arai |
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 170(1-2), pp. 129-144, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Gerard Ligozat |
A New Proof of Tractability for ORD-Horn Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI, Vol. 1 ![In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1., pp. 395-401, 1996, AAAI Press / The MIT Press, 0-262-51091-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Peter Jeavons 0001, David A. Cohen, Marc Gyssens |
A test for Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996, pp. 267-281, 1996, Springer. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Rodney G. Downey, Michael R. Fellows |
Fixed-Parameter Tractability and Completeness II: On Completeness for W[1]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 141(1&2), pp. 109-131, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Karl R. Abrahamson, Rodney G. Downey, Michael R. Fellows |
Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 73(3), pp. 235-276, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Rodney G. Downey, Michael R. Fellows |
Fixed-Parameter Tractability and Completeness I: Basic Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 24(4), pp. 873-921, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Belaid Benhamou, Lakhdar Sais |
Tractability Through Symmetries in Propositional Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 12(1), pp. 89-102, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Grzegorz W. Wasilkowski, Henryk Wozniakowski |
On Strong Tractability of Multivariate Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (1) ![In: Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, pp. 621-628, 1994, North-Holland, 0-444-81989-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Bart Selman |
Near-Optimal Plans, Tractability, and Reactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994., pp. 521-529, 1994, Morgan Kaufmann, 1-55860-328-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Lars Ericson |
Gedanken: A tool for Pondering the Tractability of Correct Program Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
16 | David A. McAllester |
Automatic Recognition of Tractability in Inference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(2), pp. 284-303, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
machine inference, theorem proving, polynomial-time algorithm, automated reasoning, inference rules, proof theory, proof systems, mechanical verification |