Search results for "tractability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Liming Cai, Jianer Chen	On Fixed-Parameter Tractability and Approximability of NP-Hard Optimization Problems.	ISTCS	1993	DBLP DOI BibTeX RDF
16	Shao C. Fang, Santosh S. Venkatesh	On the Average Tractability of Binary Integer Programming and the Curious Transition to Perfect Generalization in Learning Majority Functions.	COLT	1993	DBLP DOI BibTeX RDF
16	Rodney G. Downey, Michael R. Fellows	Fixed Parameter Tractability and Completeness.	Complexity Theory: Current Research	1992	DBLP BibTeX RDF
16	Christer Bäckström	Equivalence and Tractability Results for SAS+ Planning.	KR	1992	DBLP BibTeX RDF
16	Tom Bylander	Tractability and artificial intelligence.	J. Exp. Theor. Artif. Intell.	1991	DBLP DOI BibTeX RDF
16	Bart Selman, Hector J. Levesque	The Tractability of Path-Based Inheritance.	Principles of Semantic Networks	1991	DBLP DOI BibTeX RDF
16	Tom Bylander	The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability.	KR	1991	DBLP BibTeX RDF
16	Bart Selman, Hector J. Levesque	The Tractability of Path-Based Inheritance.	IJCAI	1989	DBLP BibTeX RDF
16	Sridhar Mahadevan, Prasad Tadepalli	On the Tractability of Learning from Incomplete Theories.	ML	1988	DBLP BibTeX RDF
16	Hector J. Levesque, Ronald J. Brachman	Expressiveness and tractability in knowledge representation and reasoning.	Comput. Intell.	1987	DBLP DOI BibTeX RDF
16	Ronald J. Brachman, Hector J. Levesque	The Tractability of Subsumption in Frame-Based Description Languages.	AAAI	1984	DBLP BibTeX RDF
10	Christoph Trattner, Ilire Hasani-Mavriqi, Denis Helic, Helmut Leitner	The Austrian way of Wiki(pedia)!: development of a structured Wiki-based encyclopedia within a local Austrian context.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	Austria-forum, context-aware Wiki, local Wiki, structured Wiki, Wiki
10	Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich	Dependent types and program equivalence.	POPL	2010	DBLP DOI BibTeX RDF	dependent types, program equivalence
10	Magnus O. Myreen	Verified just-in-time compiler on x86.	POPL	2010	DBLP DOI BibTeX RDF	self-modifying code, just in time, compiler verification
10	Sven Hartmann, Sebastian Link	When data dependencies over SQL tables meet the logics of paradox and S-3.	PODS	2010	DBLP DOI BibTeX RDF	logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value
10	Patricia C. Arocena, Ariel Fuxman, Renée J. Miller	Composing local-as-view mappings: closure and applications.	ICDT	2010	DBLP DOI BibTeX RDF
10	Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak	On the tradeoff between mapping and querying power in XML data exchange.	ICDT	2010	DBLP DOI BibTeX RDF
10	David James Love, Chun Kin Au-Yeung	Optimization and tradeoff analysis of two-way limited feedback beamforming systems.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
10	Yixin Chen 0002, Xin Dang, Hanxiang Peng, Henry L. Bart Jr.	Outlier Detection with the Kernelized Spatial Depth Function.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
10	Md. Mostafizur Rahman, Attahiru Sule Alfa	Computationally efficient method for analyzing guard channel schemes.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	New call blocking probability, Handoff dropping probability, Handoff, Phase type distribution
10	Julian Seidenberg	Web Ontology Segmentation: Extraction, Transformation, Evaluation.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
10	Christian Liebchen, Marco E. Lübbecke, Rolf H. Möhring, Sebastian Stiller	The Concept of Recoverable Robustness, Linear Programming Recovery, and Railway Applications.	Robust and Online Large-Scale Optimization	2009	DBLP DOI BibTeX RDF
10	Jiong Guo, Rolf Niedermeier, Ondrej Suchý	Parameterized Complexity of Arc-Weighted Directed Steiner Problems.	ISAAC	2009	DBLP DOI BibTeX RDF
10	Jiong Guo, Iyad A. Kanj, Christian Komusiewicz, Johannes Uhlmann	Editing Graphs into Disjoint Unions of Dense Clusters.	ISAAC	2009	DBLP DOI BibTeX RDF
10	Michael Dom, Michael R. Fellows, Frances A. Rosamond	Parameterized Complexity of Stabbing Rectangles and Squares in the Plane.	WALCOM	2009	DBLP DOI BibTeX RDF
10	Miki Hermann, Florian Richoux	On the Computational Complexity of Monotone Constraint Satisfaction Problems.	WALCOM	2009	DBLP DOI BibTeX RDF
10	Soumya Banerjee 0003, Melanie E. Moses	A Hybrid Agent Based and Differential Equation Model of Body Size Effects on Pathogen Replication and Immune System Response.	ICARIS	2009	DBLP DOI BibTeX RDF
10	Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Deconstructing Intractability: A Case Study for Interval Constrained Coloring.	CPM	2009	DBLP DOI BibTeX RDF
10	Michael Elberfeld, Ilka Schnoor, Till Tantau	Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data.	TAMC	2009	DBLP DOI BibTeX RDF
10	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
10	Xin Li 0033, William K. Cheung 0001, Jiming Liu 0001	On Compressibility and Acceleration of Orthogonal NMF for POMDP Compression.	ACML	2009	DBLP DOI BibTeX RDF
10	Michael Thomas 0001	The Complexity of Circumscriptive Inference in Post's Lattice.	LPNMR	2009	DBLP DOI BibTeX RDF
10	Reinhard Pichler, Stefan Rümmele, Stefan Woltran	Belief Revision with Bounded Treewidth.	LPNMR	2009	DBLP DOI BibTeX RDF
10	Pierfrancesco La Mura	Projective expected utility: a subjective formulation.	TARK	2009	DBLP DOI BibTeX RDF	allais, ellsberg, projective, expected utility, quantum, paradoxes
10	Kishore Ramachandran, Ravi Kokku, Karthikeyan Sundaresan, Marco Gruteser, Sampath Rangarajan	R2D2: regulating beam shape and rate as directionality meets diversity.	MobiSys	2009	DBLP DOI BibTeX RDF	outdoor wireless networks, uplink capacity, mobility, rate adaptation, beamforming
10	Philippe Rolet, Michèle Sebag, Olivier Teytaud	Optimal robust expensive optimization is tractable.	GECCO	2009	DBLP DOI BibTeX RDF	UCT, expensive optimization, monte-carlo tree search
10	Stanislav Zivný, Peter G. Jeavons	The Complexity of Valued Constraint Models.	CP	2009	DBLP DOI BibTeX RDF
10	Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero	Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network.	CMSB	2009	DBLP DOI BibTeX RDF
10	Gábor Kun, Mario Szegedy	A new line of attack on the dichotomy conjecture.	STOC	2009	DBLP DOI BibTeX RDF	term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy
10	Hamidreza Chitsaz, Rolf Backofen, Süleyman Cenk Sahinalp	biRNA: Fast RNA-RNA Binding Sites Prediction.	WABI	2009	DBLP DOI BibTeX RDF
10	Erol Gelenbe, Kumaara Velan	An Approximate Model for Bidders in Sequential Automated Auctions.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
10	Mukul S. Bansal, Wen-Chieh Chang 0002, Oliver Eulenstein, David Fernández-Baca	Generalized Binary Tanglegrams: Algorithms and Applications.	BICoB	2009	DBLP DOI BibTeX RDF
10	Michael R. Fellows, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Graph-Based Data Clustering with Overlaps.	COCOON	2009	DBLP DOI BibTeX RDF
10	André F. T. Martins, Noah A. Smith, Eric P. Xing	Polyhedral outer approximations with application to natural language parsing.	ICML	2009	DBLP DOI BibTeX RDF
10	Philip J. Charles, Jacob M. Howe, Andy King	Integer Polyhedra for Program Analysis.	AAIM	2009	DBLP DOI BibTeX RDF
10	Vineeth Veetil, Dennis Sylvester, David T. Blaauw, Saumil Shah, Steffen Rochel	Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence.	DAC	2009	DBLP DOI BibTeX RDF	statistical leakage, Monte Carlo, variance reduction
10	Sven Hartmann, Sebastian Link	Expressive, yet tractable XML keys.	EDBT	2009	DBLP DOI BibTeX RDF
10	George Dimitri Christelis, Michael Rovatsos	Automated norm synthesis in an agent-based planning environment.	AAMAS (1)	2009	DBLP BibTeX RDF	social laws, coordination, conflict resolution, norms, automated planning
10	Gregory Z. Gutin, Eun Jung Kim 0002, Stefan Szeider, Anders Yeo	A Probabilistic Approach to Problems Parameterized above or below Tight Bounds.	IWPEC	2009	DBLP DOI BibTeX RDF
10	Shu Chen, Yingying Chen 0001, Wade Trappe	Exploiting environmental properties for wireless localization.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
10	Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee	Alert propagation in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
10	Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis	Atomic congestion games among coalitions.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	convergence to equilibria, price of anarchy, congestion games, Algorithmic game theory
10	Georg Gottlob, Marko Samer	A backtracking-based algorithm for hypertree decomposition.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	hypertree decomposition, Constraint satisfaction
10	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
10	George Theodorakopoulos 0001, John S. Baras	Game Theoretic Modeling of Malicious Users in Collaborative Networks.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
10	Daniel Kuhn	Aggregation and discretization in multistage stochastic programming.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C15, 90C25, 49M29
10	Aharon Ben-Tal, Arkadi Nemirovski	Selected topics in robust convex optimization.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C34, 90C22, 90C05, 90C20, 90C15
10	Ming Zhao, Ismael R. de Farias Jr.	The mixing-MIR set with divisible capacities.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C10, 90C57, 90C11
10	Derek T. Anderson, Robert H. Luke III, James M. Keller	Speedup of Fuzzy Clustering Through Stream Processing on Graphics Processing Units.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
10	Kerem Senel, A. Bulent Pamukcu, Serhat Yanik	An Evolutionary Approach to Asset Allocation in Defined Contribution Pension Schemes.	Natural Computing in Computational Finance	2008	DBLP DOI BibTeX RDF
10	Rajeev Motwani 0001, Shubha U. Nabar, Dilys Thomas	Auditing SQL Queries.	ICDE	2008	DBLP DOI BibTeX RDF
10	Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler	ELP: Tractable Rules for OWL 2.	ISWC	2008	DBLP DOI BibTeX RDF
10	Caleb K. Lo, Sriram Vishwanath, Robert W. Heath Jr.	Relay Subset Selection in Wireless Networks Using Partial Decode-and-Forward Transmission.	VTC Spring	2008	DBLP DOI BibTeX RDF
10	Igor Razgon, Barry O'Sullivan	Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract).	ICALP (1)	2008	DBLP DOI BibTeX RDF
10	Feodor F. Dragan, Fedor V. Fomin, Petr A. Golovach	Spanners in Sparse Graphs.	ICALP (1)	2008	DBLP DOI BibTeX RDF
10	Ali Rajabi, Aresh Dadlani, Farhad Hormozdiari, Ahmad Khonsari, Ahmad Kianrad, Hassan Seyed Razi	Analysis of the Impact of Wavelength Converters on Contention Resolution in Optical Burst Switching.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
10	Ermelinda Oro, Massimo Ruffolo	Towards a System for Ontology-Based Information Extraction from PDF Documents.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	Ontology, Knowledge Representation, Information Extraction, Datalog, Attribute Grammars
10	Guy L. Curry, Natarajan Gautam	Characterizing the departure process from a two server Markovian queue: A non-renewal approach.	WSC	2008	DBLP DOI BibTeX RDF
10	Stanislav Angelov, Sanjeev Khanna, Mirkó Visontai	Robust Self-assembly of Graphs.	DNA	2008	DBLP DOI BibTeX RDF
10	Dieter Fiems, Stijn De Vuyst, Herwig Bruneel	Flow Loss Characteristics in the Presence of Correlated Background Traffic.	ITNG	2008	DBLP DOI BibTeX RDF	performance analysis, queueing theory, packet loss ratio
10	Dániel Marx, Ildikó Schlotter	Parameterized Graph Cleaning Problems.	WG	2008	DBLP DOI BibTeX RDF
10	Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
10	Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Viennot	The Inframetric Model for the Internet.	INFOCOM	2008	DBLP DOI BibTeX RDF
10	Victor S. Lempitsky, Stefan Roth 0001, Carsten Rother	FusionFlow: Discrete-continuous optimization for optical flow estimation.	CVPR	2008	DBLP DOI BibTeX RDF
10	Wenfeng Li, Baoxin Li	Joint Conditional Random Field of multiple views with online learning for image-based rendering.	CVPR	2008	DBLP DOI BibTeX RDF
10	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
10	Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang 0056	On the Notion of an XML Key.	SDKB	2008	DBLP DOI BibTeX RDF
10	Sriraam Natarajan, Hung Hai Bui, Prasad Tadepalli, Kristian Kersting, Weng-Keen Wong	Logical Hierarchical Hidden Markov Models for Modeling User Activities.	ILP	2008	DBLP DOI BibTeX RDF
10	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
10	Nadja Betzler, Jiong Guo, Rolf Niedermeier	Parameterized Computational Complexity of Dodgson and Young Elections.	SWAT	2008	DBLP DOI BibTeX RDF
10	Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic	A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation.	WADS	2008	DBLP DOI BibTeX RDF
10	Mark Gabel, Zhendong Su 0001	Symbolic mining of temporal specifications.	ICSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
10	Stephen Chen 0001, Jonathan Tien, Brenda Spotton Visano	A Hybrid Multi-agent Model for Financial Markets.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Financial Market Modelling, Social Investors, Multi-Agent Model
10	Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf Niedermeier, Frances A. Rosamond	Fixed-Parameter Algorithms for Kemeny Scores.	AAIM	2008	DBLP DOI BibTeX RDF
10	J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini	Audit-based compliance control.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Privacy, Access control, Policy, Audit
10	Hongyi Wu, Yu Wang 0019, Ha Dang, Feng Lin	Analytic, Simulation, and Empirical Evaluation of Delay/Fault-Tolerant Mobile Sensor Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
10	Prashanth Hande, Shengyu Zhang, Mung Chiang	Distributed rate allocation for inelastic flows.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	capacity provisioning, inelastic flow, network control by pricing, optimization, resource allocation, congestion control, network utility maximization
10	Smita Rai, Omkar Deshpande, Canhui Ou, Charles U. Martel, Biswanath Mukherjee	Reliable multipath provisioning for high-capacity backbone mesh networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	degraded service, effective multipath bandwidth, flexible provisioning, multiconstrained paths, multipath provisioning, virtual concatenation (VCAT)
10	Björn Schnizler, Dirk Neumann 0001	Combinatorial exchanges for coordinating grid services.	SIGecom Exch.	2007	DBLP DOI BibTeX RDF	auctions and bidding, market engineering
10	Claudio Gutierrez 0001, Carlos A. Hurtado, Alejandro A. Vaisman	Introducing Time into RDF.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	query languages, Data models, temporal databases
10	Gang Zeng, Sylvain Paris, Long Quan, François X. Sillion	Accurate and Scalable Surface Representation and Reconstruction from Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	reconstruction and applications, patchwork representation and reconstruction, patch-wise carving, patch-wise propagation, level-sets, graph-cuts, image processing and computer vision, Computing methodologies, space carving
10	José Alberto Hernández 0001, Iain W. Phillips, Javier Aracil 0001	Discrete-time heavy-tailed chains, and their properties in modeling network traffic.	ACM Trans. Model. Comput. Simul.	2007	DBLP DOI BibTeX RDF	Discrete-time heavy-tailed chains, long-range dependence, heavy-tailed distributions, fractional Brownian motion, self-similar processes
10	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	The Complexity of Reasoning with Global Constraints.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
10	Samia Loucif, Mohamed Ould-Khaoua, Geyong Min	A queueing model for predicting message latency in uni-directional k -ary n -cubes with deterministic routing and non-uniform traffic.	Clust. Comput.	2007	DBLP DOI BibTeX RDF	M/G/1 queueing systems, Interconnection networks, Performance modelling, Hot spot, k-ary n-cubes, Deterministic routing
10	Derek Anderson, Robert H. Luke III, James M. Keller	Incorporation of Non-euclidean Distance Metrics into Fuzzy Clustering on Graphics Processing Units.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
10	Weimin Miao, Hongxia Yin, Donglei Du, Jiye Han	Robust Optimization Model for a Class of Uncertain Linear Programs.	ESCAPE	2007	DBLP DOI BibTeX RDF
10	Federico Mancini 0001	Minimum Fill-In and Treewidth of Split+ ke and Split+ kv Graphs.	ISAAC	2007	DBLP DOI BibTeX RDF
10	Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar	The Parameterized Complexity of the Unique Coverage Problem.	ISAAC	2007	DBLP DOI BibTeX RDF
10	Adila Krisnadhi, Carsten Lutz	Data Complexity in the EL Family of Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
10	Yixin Chen 0002, Henry L. Bart Jr., Xin Dang, Hanxiang Peng	Depth-Based Novelty Detection and Its Application to Taxonomic Research.	ICDM	2007	DBLP DOI BibTeX RDF