Search results for "tractable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
20	Jason K. Johnson, Alan S. Willsky	A Recursive Model-Reduction Method for Approximate Inference in Gaussian Markov Random Fields.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
20	Michael R. Fellows, Daniel Lokshtanov, Neeldhara Misra, Frances A. Rosamond, Saket Saurabh 0001	Graph Layout Problems Parameterized by Vertex Cover.	ISAAC	2008	DBLP DOI BibTeX RDF
20	Feodor F. Dragan, Fedor V. Fomin, Petr A. Golovach	Spanners in Sparse Graphs.	ICALP (1)	2008	DBLP DOI BibTeX RDF
20	Venkatesh Raman 0001, Saket Saurabh 0001, Sriganesh Srihari	Parameterized Algorithms for Generalized Domination.	COCOA	2008	DBLP DOI BibTeX RDF
20	Srinath Sridhar 0001, Kedar Dhamdhere, Guy E. Blelloch, Eran Halperin, R. Ravi 0001, Russell Schwartz	Algorithms for Efficient Near-Perfect Phylogenetic Tree Reconstruction in Theory and Practice.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	trees, biology and genetics, computations on discrete structures
20	Silvana Badaloni, Marco Falda, Massimiliano Giacomin	Computational Complexity Study of Fuzzy Qualitative Temporal Algebra.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
20	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	SAT	2007	DBLP DOI BibTeX RDF
20	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	Among, Common and Disjoint Constraints.	CSCLP	2005	DBLP DOI BibTeX RDF
20	Hubie Chen, Víctor Dalmau	(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.	CP	2004	DBLP DOI BibTeX RDF
20	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
20	Jörg Flum, Martin Grohe	The Parameterized Complexity of Counting Problems.	FOCS	2002	DBLP DOI BibTeX RDF
20	Leslie G. Valiant	A neuroidal architecture for cognitive computation.	J. ACM	2000	DBLP DOI BibTeX RDF	learning relations, robust reasoning, nonmonotonic reasoning, PAC learning, computational learning, cognitive computation
20	Fred J. Hickernell, Henryk Wozniakowski	Integration and approximation in arbitrary dimensions.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	curse of dimension, multivariate integration, multivariate approximation, 65D05, 41A63, tractability, 41A05, 41A25
20	Juraj Hromkovic	Stability of Approximation Algorithms for Hard Optimization Problems.	SOFSEM	1999	DBLP DOI BibTeX RDF
20	Leslie G. Valiant	A Neuroidal Architecture for Cognitive Computation.	ICALP	1998	DBLP DOI BibTeX RDF
20	Peter Jeavons 0001	Constructing Constraints.	CP	1998	DBLP DOI BibTeX RDF
20	Bart Selman, Henry A. Kautz	Knowledge Compilation and Theory Approximation.	J. ACM	1996	DBLP DOI BibTeX RDF	efficient reasoning methods, knowledge-base optimization, theory approximation, query evaluation, Horn clauses, knowledge compilation
13	Priel Levy, David Sarne, Yonatan Aumann	Tractable Binary Contests.	ACM Trans. Economics and Comput.	2024	DBLP DOI BibTeX RDF
13	Bhargob Deka, Luong Ha Nguyen, James-A. Goulet	Analytically tractable heteroscedastic uncertainty quantification in Bayesian neural networks for regression tasks.	Neurocomputing	2024	DBLP DOI BibTeX RDF
13	Jiarui Lu, Zuobai Zhang, Bozitao Zhong, Chence Shi, Jian Tang 0005	Fusing Neural and Physical: Augment Protein Conformation Sampling with Tractable Simulations.	CoRR	2024	DBLP DOI BibTeX RDF
13	Bo Peng, Yadan Luo, Yonggang Zhang, Yixuan Li, Zhen Fang	ConjNorm: Tractable Density Estimation for Out-of-Distribution Detection.	CoRR	2024	DBLP DOI BibTeX RDF
13	Oliver Broadrick, Honghua Zhang, Guy Van den Broeck	Polynomial Semantics of Tractable Probabilistic Circuits.	CoRR	2024	DBLP DOI BibTeX RDF
13	Karina Koval, Roland Herzog, Robert Scheichl	Tractable Optimal Experimental Design using Transport Maps.	CoRR	2024	DBLP DOI BibTeX RDF
13	Adam Villaflor, Brian Yang, Huangyuan Su, Katerina Fragkiadaki, John M. Dolan, Jeff Schneider	Tractable Joint Prediction and Planning over Discrete Behavior Modes for Urban Driving.	CoRR	2024	DBLP DOI BibTeX RDF
13	Suyong Park, Duc Giap Nguyen, Jinrak Park, Dohee Kim, Jeong Soo Eo, Kyoungseok Han	Deep Neural Network NMPC for Computationally Tractable Optimal Power Management of Hybrid Electric Vehicle.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yang Cai 0001, Constantinos Daskalakis, Haipeng Luo, Chen-Yu Wei, Weiqiang Zheng	Tractable Local Equilibria in Non-Concave Games.	CoRR	2024	DBLP DOI BibTeX RDF
13	Mohammad S. Ramadan, Mihai Anitescu	Extended Kalman filter - Koopman operator for tractable stochastic optimal control.	CoRR	2024	DBLP DOI BibTeX RDF
13	Batuhan Yardim, Artur Goldman, Niao He	When is Mean-Field Reinforcement Learning Tractable and Relevant?	CoRR	2024	DBLP DOI BibTeX RDF
13	Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann	Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model.	CoRR	2024	DBLP DOI BibTeX RDF
13	Jakub Rydval, Zaneta Semanisinová, Michal Wrona	Identifying Tractable Quantified Temporal Constraints within Ord-Horn.	CoRR	2024	DBLP DOI BibTeX RDF
13	Sahil Sidheekh, Sriraam Natarajan	Building Expressive and Tractable Probabilistic Generative Models: A Review.	CoRR	2024	DBLP DOI BibTeX RDF
13	Anji Liu, Mathias Niepert, Guy Van den Broeck	Image Inpainting via Tractable Steering of Diffusion Models.	CoRR	2024	DBLP DOI BibTeX RDF
13	Onyekachi Henry Ibekwe	Tractable Tensions: A Review of Digital Humanities: Knowledge and Critique in a Digital Age by David M. Berry and Anders Fagerjord.	Digit. Humanit. Q.	2024	DBLP BibTeX RDF
13	Ali Al Kadhim, Harrison B. Prosper, Olivia F. Prosper	Amortized simulation-based frequentist inference for tractable and intractable likelihoods.	Mach. Learn. Sci. Technol.	2024	DBLP DOI BibTeX RDF
13	Kaari Landry, Olivier Tremblay Savard, Manuel Lafond	A Fixed-Parameter Tractable Algorithm for Finding Agreement Cherry-Reduced Subnetworks in Level-1 Orchard Networks.	J. Comput. Biol.	2024	DBLP DOI BibTeX RDF
13	Sayan Bandyapadhyay, William Lochet, Daniel Lokshtanov, Saket Saurabh 0001, Jie Xue 0003	Euclidean Bottleneck Steiner Tree is Fixed-Parameter Tractable.	SODA	2024	DBLP DOI BibTeX RDF
13	Arvind V. Mahankali, David P. Woodruff, Ziyu Zhang	Near-Linear Time and Fixed-Parameter Tractable Algorithms for Tensor Decompositions.	ITCS	2024	DBLP DOI BibTeX RDF
13	Sahil Sidheekh, Saurabh Mathur 0002, Athresh Karanam, Sriraam Natarajan	Deep Tractable Probabilistic Models.	COMAD/CODS	2024	DBLP DOI BibTeX RDF
13	Vidya Sagar Sharma	A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton.	AAAI	2024	DBLP DOI BibTeX RDF
13	Yasunori Akagi, Naoki Marumo, Takeshi Kurashima	Analytically Tractable Models for Decision Making under Present Bias.	AAAI	2024	DBLP DOI BibTeX RDF
13	Szymon Torunczyk	Structurally Tractable Graph Classes (Invited Talk).	STACS	2024	DBLP DOI BibTeX RDF
13	Batuhan Yardim, Artur Goldman, Niao He	When is Mean-Field Reinforcement Learning Tractable and Relevant?	AAMAS	2024	DBLP BibTeX RDF
13	Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan 0001, Chang Xu 0001, Xiaoxing Ma, Yue Li 0006	The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Ziyue Wang, Zhiqiang Tan	Tractable and Near-Optimal Adversarial Algorithms for Robust Estimation in Contaminated Gaussian Models.	J. Mach. Learn. Res.	2023	DBLP BibTeX RDF
13	Jeonghun Park, Jinseok Choi, Namyoon Lee	A Tractable Approach to Coverage Analysis in Downlink Satellite Networks.	IEEE Trans. Wirel. Commun.	2023	DBLP DOI BibTeX RDF
13	Haitao Cheng, Zong Min Ma 0001	A tractable temporal description logic for reasoning fuzzy spatiotemporal knowledge.	World Wide Web (WWW)	2023	DBLP DOI BibTeX RDF
13	Yuan Gao, Christian Kroer	Infinite-Dimensional Fisher Markets and Tractable Fair Division.	Oper. Res.	2023	DBLP DOI BibTeX RDF
13	Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos	Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable.	ACM Trans. Algorithms	2023	DBLP DOI BibTeX RDF
13	Abdelatif Hafid, Abdelhakim Senhaji Hafid, Mustapha Samih	A Tractable Probabilistic Approach to Analyze Sybil Attacks in Sharding-Based Blockchain Protocols.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
13	Linbin Huang, Jianzhe Zhen, John Lygeros, Florian Dörfler	Robust Data-Enabled Predictive Control: Tractable Formulations and Performance Guarantees.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
13	Nima Sarang, Charalambos Poullis	Tractable large-scale deep reinforcement learning.	Comput. Vis. Image Underst.	2023	DBLP DOI BibTeX RDF
13	Morgan Louédec, Luc Jaulin, Christophe Viel	Computational tractable guaranteed numerical method to study the stability of n-dimensional time-independent nonlinear systems with bounded perturbation.	Autom.	2023	DBLP DOI BibTeX RDF
13	Luke Branson, Andrew M. Sutton	Focused jump-and-repair constraint handling for fixed-parameter tractable graph problems closed under induced subgraphs.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Chiradeep Roy, Mahsan Nourani, Shivvrat Arya, Mahesh Shanbhag, Tahrima Rahman, Eric D. Ragan, Nicholas Ruozzi, Vibhav Gogate	Explainable Activity Recognition in Videos using Deep Learning and Tractable Probabilistic Models.	ACM Trans. Interact. Intell. Syst.	2023	DBLP DOI BibTeX RDF
13	Ognjen Stanojev, Lucien Werner, Steven H. Low, Gabriela Hug	Tractable Identification of Electric Distribution Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Matthew Johnson 0002, Barnaby Martin, Sukanya Pandey, Daniël Paulusma, Siani Smith, Erik Jan van Leeuwen	Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mohammad Amin Saeidi, Haider Shoaib, Hina Tabassum	A Tractable Handoff-aware Rate Outage Approximation with Applications to THz-enabled Vehicular Network Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Sayan Bandyapadhyay, William Lochet, Daniel Lokshtanov, Saket Saurabh 0001, Jie Xue 0003	Euclidean Bottleneck Steiner Tree is Fixed-Parameter Tractable.	CoRR	2023	DBLP DOI BibTeX RDF
13	Russell Tsuchida, Cheng Soon Ong, Dino Sejdinovic	Squared Neural Families: A New Class of Tractable Density Models.	CoRR	2023	DBLP DOI BibTeX RDF
13	Benjie Wang, Marta Kwiatkowska	Compositional Probabilistic and Causal Inference using Tractable Circuit Models.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shafiuddin Rehan Ahmed, Abhijnan Nath, James H. Martin, Nikhil Krishnaswamy	2*n is better than n2: Decomposing Event Coreference Resolution into Two Tractable Problems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass	Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.	CoRR	2023	DBLP DOI BibTeX RDF
13	Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mina Montazeri, Hamed Kebriaei, Babak Nadjar Araabi	A Tractable Truthful Profit Maximization Mechanism Design with Autonomous Agents.	CoRR	2023	DBLP DOI BibTeX RDF
13	Xuejie Liu, Anji Liu, Guy Van den Broeck, Yitao Liang	Expressive Modeling Is Insufficient for Offline RL: A Tractable Inference Perspective.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zeyu Jia, Gene Li, Alexander Rakhlin, Ayush Sekhari, Nathan Srebro	When is Agnostic Reinforcement Learning Statistically Tractable?	CoRR	2023	DBLP DOI BibTeX RDF
13	Alberto Del Pia	Mixed Integer Convex Quadratic Programming is Fixed Parameter Tractable.	CoRR	2023	DBLP DOI BibTeX RDF
13	Xuejie Liu, Anji Liu, Guy Van den Broeck, Yitao Liang	Understanding the Distillation Process from Deep Generative Models to Tractable Probabilistic Circuits.	CoRR	2023	DBLP DOI BibTeX RDF
13	Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov	The st-Planar Edge Completion Problem is Fixed-Parameter Tractable.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yury Zemlyanskiy, Michiel de Jong, Luke Vilnis, Santiago Ontañón, William W. Cohen, Sumit Sanghai, Joshua Ainslie	MEMORY-VQ: Compression for Tractable Internet-Scale Memory.	CoRR	2023	DBLP DOI BibTeX RDF
13	Maryam Olyaee, Hadi Hashemi, Juan M. Romero-Jerez	A Tractable Statistical Representation of IFTR Fading with Applications.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jiacheng Guo, Zihao Li, Huazheng Wang, Mengdi Wang, Zhuoran Yang, Xuezhou Zhang	Provably Efficient Representation Learning with Tractable Planning in Low-Rank POMDP.	CoRR	2023	DBLP DOI BibTeX RDF
13	Federico Errica, Mathias Niepert	Tractable Probabilistic Graph Representation Learning with Graph-Induced Sum-Product Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tim G. J. Rudner, Zonghao Chen, Yee Whye Teh, Yarin Gal	Tractable Function-Space Variational Inference in Bayesian Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mnacho Echenim, Nicolas Peltier	Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jeremy McMahan, Young Wu, Yudong Chen 0001, Xiaojin Zhu 0001, Qiaomin Xie	VISER: A Tractable Solution Concept for Games with Information Asymmetry.	CoRR	2023	DBLP DOI BibTeX RDF
13	Andrew Levy, Sreehari Rammohan, Alessandro Allievi, Scott Niekum, George Konidaris 0001	Hierarchical Empowerment: Towards Tractable Empowerment-Based Skill-Learning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Colin Sullivan, Mo Tiwari, Sebastian Thrun, Chris Piech	Bayesian Decision Trees via Tractable Priors and Probabilistic Context-Free Grammars.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yingyu Lin, Yian Ma, Yu-Xiang Wang 0003, Rachel Redberg	Tractable MCMC for Private Learning with Pure and Gaussian Differential Privacy.	CoRR	2023	DBLP DOI BibTeX RDF
13	David Huber 0001, Yizuo Chen, Alessandro Antonucci 0001, Adnan Darwiche, Marco Zaffalon	Tractable Bounding of Counterfactual Queries by Knowledge Compilation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ireneusz Szczesniak, Ireneusz Olszewski, Bozena Wozna-Szczesniak	Is dynamic dedicated path protection tractable?	CoRR	2023	DBLP DOI BibTeX RDF
13	Vidya Sagar Sharma	A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the same Skeleton.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yulin Zhang 0001, Dylan A. Shell	A fixed-parameter tractable algorithm for combinatorial filter reduction.	CoRR	2023	DBLP DOI BibTeX RDF
13	Agnes Marjorie Nakiganda, Shahab Dehghan, Petros Aristidou	Inertia-Aware Microgrid Investment Planning Using Tractable Decomposition Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
13	Gergely Csáji, David F. Manlove, Iain McBride, James Trimble 0001	Couples can be tractable: New algorithms and hardness results for the Hospitals / Residents problem with Couples.	CoRR	2023	DBLP DOI BibTeX RDF
13	Sarah Masud, Ashutosh Bajpai, Tanmoy Chakraborty 0002	Focal Inferential Infusion Coupled with Tractable Density Discrimination for Implicit Hate Speech Detection.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yasunori Akagi, Naoki Marumo, Takeshi Kurashima	Analytically Tractable Models for Decision Making under Present Bias.	CoRR	2023	DBLP DOI BibTeX RDF
13	Vidya Sagar Sharma	Faster Fixed Parameter Tractable Algorithms for Counting Markov Equivalence Classes with Special Skeletons.	CoRR	2023	DBLP DOI BibTeX RDF
13	Sujoy Bhore, Robert Ganian, Liana Khazaliya, Fabrizio Montecchiani, Martin Nöllenburg	Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jan Martens 0001, Jan Friso Groote	Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable.	CoRR	2023	DBLP DOI BibTeX RDF
13	Honghua Zhang, Meihua Dang, Nanyun Peng, Guy Van den Broeck	Tractable Control for Autoregressive Language Generation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Elre T. Oldewage, Ross M. Clarke, José Miguel Hernández-Lobato	Series of Hessian-Vector Products for Tractable Saddle-Free Newton Optimisation of Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Priyank Agrawal, Theja Tulabandhula, Vashist Avadhanula	A tractable online learning algorithm for the multinomial logit contextual bandit.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
13	I. E. Bardakci, Afrooz Jalilzadeh, Constantino M. Lagoa, Uday V. Shanbhag	Probability maximization via Minkowski functionals: convex representations and tractable resolution.	Math. Program.	2023	DBLP DOI BibTeX RDF
13	Sajjad Karimi, Mohammad Bagher Shamsollahi	Tractable Maximum Likelihood Estimation for Latent Structure Influence Models With Applications to EEG & ECoG Processing.	IEEE Trans. Pattern Anal. Mach. Intell.	2023	DBLP DOI BibTeX RDF
13	Parth Nobel, Emmanuel J. Candès, Stephen P. Boyd	Tractable Evaluation of Stein's Unbiased Risk Estimate With Convex Regularizers.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
13	Du Nguyen	Operator-Valued Formulas for Riemannian Gradient and Hessian and Families of Tractable Metrics in Riemannian Optimization.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
13	Jan Dreier, Sebastian Ordyniak, Stefan Szeider	CSP beyond tractable constraint languages.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
13	Eric Freden, Kevin Martinsen	EDT0L grammars with only one variable have tractable generating functions.	RAIRO Theor. Informatics Appl.	2023	DBLP DOI BibTeX RDF