Search results for "tractability"

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.	J. Complex.	2007	DBLP DOI BibTeX RDF
16	Arthur G. Werschulz	A note on the complexity and tractability of the heat equation.	J. Complex.	2007	DBLP DOI BibTeX RDF
16	Arthur G. Werschulz, Henryk Wozniakowski	Tractability of quasilinear problems I: General results.	J. Approx. Theory	2007	DBLP DOI BibTeX RDF
16	Emil W. Kiss, Matthew Valeriote	On tractability and congruence distributivity.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
16	Arthur G. Werschulz, Henryk Wozniakowski	Tractability of quasilinear problems II: Second-order elliptic problems.	Math. Comput.	2007	DBLP DOI BibTeX RDF
16	Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer	Bounded fixed-parameter tractability and reducibility.	Ann. Pure Appl. Log.	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.	LICS	2007	DBLP DOI BibTeX RDF
16	Yury Lifshits	Processing Compressed Texts: A Tractability Border.	CPM	2007	DBLP DOI BibTeX RDF
16	Sylvain Guillemot, Vincent Berry	Fixed-Parameter Tractability of the Maximum Agreement Supertree Problem.	CPM	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.	ICALP	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.	Formal Models, Languages and Applications	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.	WADS	2007	DBLP DOI BibTeX RDF
16	Yijia Chen, Jörg Flum	Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping.	CSL	2007	DBLP DOI BibTeX RDF
16	Hector J. Levesque	Some Further Thoughts on Expressiveness and Tractability.	Description Logics	2007	DBLP BibTeX RDF
16	Ariel D. Procaccia, Jeffrey S. Rosenschein	Average-case tractability of manipulation in voting via the fraction of manipulators.	AAMAS	2007	DBLP DOI BibTeX RDF
16	Jiong Guo, Rolf Niedermeier	A fixed-parameter tractability result for multicommodity demand flow in trees.	Inf. Process. Lett.	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.	SIAM J. Numer. Anal.	2006	DBLP DOI BibTeX RDF
16	Jörg Flum, Martin Grohe, Mark Weyer	Bounded fixed-parameter tractability and log2n nondeterministic bits.	J. Comput. Syst. Sci.	2006	DBLP DOI BibTeX RDF
16	Emil W. Kiss, Matthew Valeriote	On Tractability and Congruence Distributivity.	LICS	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.	ICALP (1)	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.	AAAI	2006	DBLP BibTeX RDF
16	Venkatesh Raman 0001, Saket Saurabh 0001	Triangles, 4-Cycles and Parameterized (In-)Tractability.	SWAT	2006	DBLP DOI BibTeX RDF
16	Jan Kára, Jan Kratochvíl	Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs.	IWPEC	2006	DBLP DOI BibTeX RDF
16	Rong-Xian Yue, Fred J. Hickernell	Strong tractability of integration using scrambled Niederreiter points.	Math. Comput.	2005	DBLP DOI BibTeX RDF
16	Jiong Guo, Rolf Niedermeier	Fixed-parameter tractability and data reduction for multicut in trees.	Networks	2005	DBLP DOI BibTeX RDF
16	T. K. Satish Kumar	On the Tractability of Smooth Constraint Satisfaction Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
16	Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier	Extending the Tractability Border for Closest Leaf Powers.	WG	2005	DBLP DOI BibTeX RDF
16	T. K. Satish Kumar	On the Tractability of Restricted Disjunctive Temporal Problems.	ICAPS	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.	IJCAI	2005	DBLP BibTeX RDF
16	Martin James Green	New methods for the tractability of constraint satisfaction problems.		2005	RDF
16	Erich Novak, Harald Pfeiffer	Coin Tossing Algorithms for Integral Equations and Tractability.	Monte Carlo Methods Appl.	2004	DBLP DOI BibTeX RDF
16	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential second-order logic over graphs: Charting the tractability frontier.	J. ACM	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.	J. Discrete Algorithms	2004	DBLP DOI BibTeX RDF
16	Hrushikesh Narhar Mhaskar	On the tractability of multivariate integration and approximation by neural networks.	J. Complex.	2004	DBLP DOI BibTeX RDF
16	Ian H. Sloan, Xiaoqun Wang, Henryk Wozniakowski	Finite-order weights imply tractability of multivariate integration.	J. Complex.	2004	DBLP DOI BibTeX RDF
16	Grzegorz W. Wasilkowski, Henryk Wozniakowski	Finite-order weights imply tractability of linear multivariate problems.	J. Approx. Theory	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.	Math. Comput.	2004	DBLP DOI BibTeX RDF
16	Fred J. Hickernell, Ian H. Sloan, Grzegorz W. Wasilkowski	On strong tractability of weighted multivariate integration.	Math. Comput.	2004	DBLP DOI BibTeX RDF
16	Wim Martens, Frank Neven	Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS)	PODS	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.	AAAI	2004	DBLP BibTeX RDF
16	Paul E. Dunne, Michael Laurence, Michael J. Wooldridge	Tractability Results for Automatic Contracting.	ECAI	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.	COLING	2004	DBLP BibTeX RDF
16	Xishun Zhao, Decheng Ding	Fixed-Parameter Tractability of Disjunction-Free Default Reasoning.	J. Comput. Sci. Technol.	2003	DBLP DOI BibTeX RDF
16	Peter Heusch, Stefan Porschen, Ewald Speckenmeyer	Improving a fixed parameter tractability time bound for the shadow problem.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
16	Gerhard Larcher, Gunther Leobacher, Klaus Scheicher	On the tractability of the Brownian Bridge algorithm.	J. Complex.	2003	DBLP DOI BibTeX RDF
16	Gunther Leobacher, Friedrich Pillichshammer	Bounds for the weighted Lp discrepancy and tractability of integration.	J. Complex.	2003	DBLP DOI BibTeX RDF
16	Henryk Wozniakowski	Open problems for tractability of multivariate integration.	J. Complex.	2003	DBLP DOI BibTeX RDF
16	Xiaoqun Wang	Strong tractability of multivariate integration using quasi-Monte Carlo algorithms.	Math. Comput.	2003	DBLP DOI BibTeX RDF
16	Yong Gao 0001	Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference.	UAI	2003	DBLP BibTeX RDF
16	Aleksandrs Slivkins	Parameterized Tractability of Edge-Disjoint Paths on Directed Acyclic Graphs.	ESA	2003	DBLP DOI BibTeX RDF
16	Alexander G. Gray, Andrew W. Moore 0001	Nonparametric Density Estimation: Toward Computational Tractability.	SDM	2003	DBLP DOI BibTeX RDF
16	Martin James Green, David A. Cohen	Tractability by Approximating Constraint Languages.	CP	2003	DBLP DOI BibTeX RDF
16	Yongmei Liu 0001, Hector J. Levesque	A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.	IJCAI	2003	DBLP BibTeX RDF
16	Ian H. Sloan, Henryk Wozniakowski	Tractability of Integration in Non-periodic and Periodic Weighted Tensor Product Hilbert Spaces.	J. Complex.	2002	DBLP DOI BibTeX RDF
16	Xiaoqun Wang	A Constructive Approach to Strong Tractability Using Quasi-Monte Carlo Algorithms.	J. Complex.	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.	Math. Comput.	2002	DBLP DOI BibTeX RDF
16	Fred J. Hickernell, Xiaoqun Wang	The error bounds and tractability of quasi-Monte Carlo algorithms in infinite dimension.	Math. Comput.	2002	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro	Tractability Results in the Block Algebra.	J. Log. Comput.	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.	IFIP TCS	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.	WABI	2002	DBLP DOI BibTeX RDF
16	Konrad Schlude	Distributed data & resources: models, tractability, and complexity.		2002	RDF
16	Fred J. Hickernell, Henryk Wozniakowski	Tractability of Multivariate Integration for Periodic Functions.	J. Complex.	2001	DBLP DOI BibTeX RDF
16	Ian H. Sloan, Henryk Wozniakowski	Tractability of Multivariate Integration for Weighted Korobov Classes.	J. Complex.	2001	DBLP DOI BibTeX RDF
16	Jörg Flum, Martin Grohe	Fixed-Parameter Tractability, Definability, and Model-Checking.	SIAM J. Comput.	2001	DBLP DOI BibTeX RDF
16	Anna Maria Di Sciullo, Sandiway Fong	Asymmetry, Zero Morphology and Tractability.	PACLIC	2001	DBLP BibTeX RDF
16	Gerald Penn	Tractability and Structural Closures in Attribute Logic Type Signatures.	ACL	2001	DBLP BibTeX RDF
16	Douglas A. Miller, Steven W. Zucker	Cliques, computation, and computational tractability.	Pattern Recognit.	2000	DBLP DOI BibTeX RDF
16	Noriko H. Arai	Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II.	Theor. Comput. Sci.	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.	CIFEr	2000	DBLP DOI BibTeX RDF
16	David Liben-Nowell, Jon M. Kleinberg	Structural Properties and Tractability Results for Linear Synteny.	CPM	2000	DBLP DOI BibTeX RDF
16	Pierre Collette, Cliff B. Jones	Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
16	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	Reasoning about Generalized Intervals: Horn Representability and Tractability.	TIME	2000	DBLP DOI BibTeX RDF
16	Peter Gomber, Claudia Schmidt, Christof Weinhardt	Efficiency, Incentives, and Computational Tractability in Mas-Coordination.	Int. J. Cooperative Inf. Syst.	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.	Pattern Recognit.	1999	DBLP DOI BibTeX RDF
16	Jörg Flum, Martin Grohe	Fixed-parameter tractability, definability, and model checking	CoRR	1999	DBLP BibTeX RDF
16	Rodney G. Downey, Michael R. Fellows, Ulrike Stege	Computational Tractability: The View From Mars.	Bull. EATCS	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.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
16	Mathias Broxvall, Peter Jonsson	Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.	CP	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.	Artif. Intell.	1998	DBLP DOI BibTeX RDF
16	Shlomo Argamon-Engelson, Moshe Koppel	Tractability of Theory Patching.	J. Artif. Intell. Res.	1998	DBLP DOI BibTeX RDF
16	Shlomo Argamon-Engelson, Moshe Koppel	Tractability of Theory Patching	CoRR	1998	DBLP BibTeX RDF
16	Martin C. Cooper	The Tractability of Segmentation and Scene Analysis.	Int. J. Comput. Vis.	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.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
16	Peter Jonsson, Thomas Drakengren	A Complete Classification of Tractability in RCC-5.	J. Artif. Intell. Res.	1997	DBLP DOI BibTeX RDF
16	Peter Jonsson, Thomas Drakengren	A Complete Classification of Tractability in RCC-5	CoRR	1997	DBLP BibTeX RDF
16	Erich Novak, Ian H. Sloan, Henryk Wozniakowski	Tractability of Tensor Product Linear Operators.	J. Complex.	1997	DBLP DOI BibTeX RDF
16	Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows	Advice Classes of Parameterized Tractability.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
16	Thomas Drakengren, Peter Jonsson	Towards a Complete Classification of Tractability in Allen's Algebra.	IJCAI	1997	DBLP BibTeX RDF
16	Leizhen Cai	Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
16	Noriko H. Arai	Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Gerard Ligozat	A New Proof of Tractability for ORD-Horn Relations.	AAAI/IAAI, Vol. 1	1996	DBLP BibTeX RDF
16	Peter Jeavons 0001, David A. Cohen, Marc Gyssens	A test for Tractability.	CP	1996	DBLP DOI BibTeX RDF
16	Rodney G. Downey, Michael R. Fellows	Fixed-Parameter Tractability and Completeness II: On Completeness for W[1].	Theor. Comput. Sci.	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.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
16	Rodney G. Downey, Michael R. Fellows	Fixed-Parameter Tractability and Completeness I: Basic Results.	SIAM J. Comput.	1995	DBLP DOI BibTeX RDF
16	Belaid Benhamou, Lakhdar Sais	Tractability Through Symmetries in Propositional Calculus.	J. Autom. Reason.	1994	DBLP DOI BibTeX RDF
16	Grzegorz W. Wasilkowski, Henryk Wozniakowski	On Strong Tractability of Multivariate Problems.	IFIP Congress (1)	1994	DBLP BibTeX RDF
16	Bart Selman	Near-Optimal Plans, Tractability, and Reactivity.	KR	1994	DBLP BibTeX RDF
16	Lars Ericson	Gedanken: A tool for Pondering the Tractability of Correct Program Technology.		1994	RDF
16	David A. McAllester	Automatic Recognition of Tractability in Inference Relations.	J. ACM	1993	DBLP DOI BibTeX RDF	machine inference, theorem proving, polynomial-time algorithm, automated reasoning, inference rules, proof theory, proof systems, mechanical verification