Search results for "tractability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Juha Leino 0002, Aleksi Penttinen, Jorma T. Virtamo	Approximating Flow Throughput in Complex Data Networks.	ITC	2007	DBLP DOI BibTeX RDF
10	Ken Q. Pu	Service Description and Analysis From a Type Theoretic Approach.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
10	Ting Zhang, Yuanxin Ouyang, Yang He, Zhang Xiong 0001, Zhenyong Chen	Case Study of Human Computer Interaction Based on RFID and Context-Awareness in Ubiquitous Computing Environments.	HCI (6)	2007	DBLP DOI BibTeX RDF	Human Computer Interaction, Ubiquitous Computing, Context, RFID
10	Sayandeep Sen, Bhaskaran Raman	Long distance wireless mesh network planning: problem formulation and solution.	WWW	2007	DBLP DOI BibTeX RDF	long-distance WiFi, low cost networking, rural Connectivity, 802.11 mesh networks
10	Marc Thurley	Kernelizations for Parameterized Counting Problems.	TAMC	2007	DBLP DOI BibTeX RDF
10	Michael Dom, Jiong Guo, Rolf Niedermeier	Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems.	TAMC	2007	DBLP DOI BibTeX RDF
10	Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen	Maximal Infinite-Valued Constraint Languages.	ICALP	2007	DBLP DOI BibTeX RDF
10	Spyros C. Kontogiannis, Paul G. Spirakis	Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games.	ICALP	2007	DBLP DOI BibTeX RDF	Well Supported Approximate Equilibria, Bimatrix Games
10	Ivan Stojmenovic	Simulations in wireless sensor and ad hoc networks.	Sensor and Actor Networks	2007	DBLP DOI BibTeX RDF	simulation, wireless networks
10	Paul S. Bonsma, Luis Cereceda	Finding Paths Between Graph Colourings: PSPACE-Completeness and Superpolynomial Distances.	MFCS	2007	DBLP DOI BibTeX RDF	vertex-recolouring, colour graph, superpolynomial distance, PSPACE-complete
10	Spyros C. Kontogiannis, Paul G. Spirakis	Well Supported Approximate Equilibria in Bimatrix Games: A Graph Theoretic Approach.	MFCS	2007	DBLP DOI BibTeX RDF
10	Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard	Runtime Checking for Program Verification.	RV	2007	DBLP DOI BibTeX RDF
10	Yudong Tian, Shilie Weng	Modeling and Control of Molten Carbonate Fuel Cells Based on Feedback Neural Networks.	ISNN (1)	2007	DBLP DOI BibTeX RDF
10	Georg Gottlob, Gianluigi Greco	On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition.	EC	2007	DBLP DOI BibTeX RDF	hypertree decompositions, combinatorial auctions, hypergraphs
10	Dong Zhang 0001, Samy Bengio	Exploring Contextual Information in a Layered Framework for Group Action Recognition.	ICME	2007	DBLP DOI BibTeX RDF
10	Zaiyi Guo, Joc Cing Tay	A Hybrid Agent-Based Model of Chemotaxis.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Receptor Kinetics, Multi-Agents, Hybrid Models, Chemotaxis
10	Olutayo O. Oladunni, Theodore B. Trafalis	Regularization Based Classification Models.	IJCNN	2007	DBLP DOI BibTeX RDF
10	Jeffrey Fischer, Rupak Majumdar	Ensuring consistency in long running transactions.	ASE	2007	DBLP DOI BibTeX RDF	flow composition, set consistency, semantics, business process, transactions, compensation
10	Pinar Heggernes, Christophe Paul, Jan Arne Telle, Yngve Villanger	Interval completion with few edges.	STOC	2007	DBLP DOI BibTeX RDF	FPT algorithm, edge completion, profile minimization, interval graphs, branching, physical mapping
10	Amihood Amir, Tzvika Hartman, Oren Kapah, B. Riva Shalom, Dekel Tsur	Generalized LCS.	SPIRE	2007	DBLP DOI BibTeX RDF
10	Manuel Bodirsky, Hubie Chen	Qualitative Temporal and Spatial Reasoning Revisited.	CSL	2007	DBLP DOI BibTeX RDF
10	Anuj Dawar	Model-Checking First-Order Logic: Automata and Locality.	CSL	2007	DBLP DOI BibTeX RDF
10	Joachim Kneis, Daniel Mölle, Peter Rossmanith	Partial vs. Complete Domination: t-Dominating Set.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
10	Yuehua Xu, Alan Fern	On learning linear ranking functions for beam search.	ICML	2007	DBLP DOI BibTeX RDF
10	Igor Razgon, Barry O'Sullivan, Gregory M. Provan	Generalizing Global Constraints Based on Network Flows.	CSCLP	2007	DBLP DOI BibTeX RDF
10	Amy Mainville Cohn, Cynthia Barnhart	Composite-variable modeling for service parts logistics.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Service parts logistics, Composite variable modeling, Model reformulation
10	Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi	Incorporating fault debugging activities into software reliability models: a simulation approach.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
10	Zvi Rosberg, Andrew Zalesky, Moshe Zukerman	Packet delay in optical circuit-switched networks.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	fixed point approximation, circuit switching, packet delay, WDM network
10	Faisal N. Abu-Khzam, Michael A. Langston, Pushkar Shanbhag, Christopher T. Symons	Scalable Parallel Algorithms for FPT Problems.	Algorithmica	2006	DBLP DOI BibTeX RDF
10	Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz	Conjunctive queries over trees.	J. ACM	2006	DBLP DOI BibTeX RDF	XML, Complexity, trees, expressiveness, conjunctive queries, succinctness
10	Jens Gramm, Jiong Guo, Rolf Niedermeier	Parameterized Intractability of Distinguishing Substring Selection.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
10	Dimitris Bertsimas, Melvyn Sim	Tractable Approximations to Robust Conic Optimization Problems.	Math. Program.	2006	DBLP DOI BibTeX RDF	Conic Optimization, Stochastic Optimization, Robust Optimization
10	Yonina C. Eldar	Minimax estimation of deterministic parameters in linear models with a random model matrix.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
10	Yorick Wilks	Getting Meaning into the Machine.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	machine learning, Semantic Web, artificial intelligence, information extraction, machine translation, connectionism
10	Sanjiv Kumar, Martial Hebert	Discriminative Random Fields.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	Discriminative Random Fields, Discriminative Classifiers, Markov Random Field, Image Classification, Graphical Models, Spatial Interactions
10	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
10	Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan	Peer data exchange.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	data integration, Data exchange, schema mapping, conjunctive queries, certain answers, metadata model management
10	Serge Abiteboul, Luc Segoufin, Victor Vianu	Representing and querying XML with incomplete information.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	XML, Incomplete information
10	Qian Du 0001, Nareenart Raksuntorn, Adnan Orduyilmaz	Restoration of Degraded Video Through Turbulent Atmosphere.	ICIP	2006	DBLP DOI BibTeX RDF
10	Joachim Kneis, Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	Intuitive Algorithms and t-Vertex Cover.	ISAAC	2006	DBLP DOI BibTeX RDF
10	Jef Wijsen	Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies.	FQAS	2006	DBLP DOI BibTeX RDF
10	Georg Struth	Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.	MPC	2006	DBLP DOI BibTeX RDF
10	Tobias Polzin, Siavash Vahdati Daneshmand	Practical Partitioning-Based Methods for the Steiner Problem.	WEA	2006	DBLP DOI BibTeX RDF
10	Kazuhiro Yokoyama	Stability of Parametric Decomposition.	ICMS	2006	DBLP DOI BibTeX RDF
10	Julian Seidenberg, Alan L. Rector	Web ontology segmentation: analysis, classification and use.	WWW	2006	DBLP DOI BibTeX RDF	ontology, Semantic Web, scalability, segmentation, OWL
10	Guoqiang Pan, Moshe Y. Vardi	Fixed-Parameter Hierarchies inside PSPACE.	LICS	2006	DBLP DOI BibTeX RDF
10	Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.	ICALP (1)	2006	DBLP DOI BibTeX RDF
10	Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis	Atomic Congestion Games Among Coalitions.	ICALP (1)	2006	DBLP DOI BibTeX RDF
10	Kazuho Watanabe, Motoki Shiga, Sumio Watanabe	Upper Bounds for Variational Stochastic Complexities of Bayesian Networks.	IDEAL	2006	DBLP DOI BibTeX RDF
10	Guo Bo, Cheng Zhijun	Analysis of the Optimal Inspection and Maintenance Policy for the Deteriorating System with Phase-Type Approximation.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
10	Thomas Bonald, Aleksi Penttinen, Jorma T. Virtamo	On light and heavy traffic approximations of balanced fairness.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	balanced fairness, flow level analysis, throughput approximation, elastic traffic
10	Kivanc M. Ozonat, Robert M. Gray	Gauss Mixture Model-Based Classification For Sensor Networks.	DCC	2006	DBLP DOI BibTeX RDF
10	Murari Mani, Ashish Kumar Singh, Michael Orshansky	Joint design-time and post-silicon minimization of parametric yield loss using adjustable robust optimization.	ICCAD	2006	DBLP DOI BibTeX RDF
10	David A. Cohen, Martin James Green	Typed Guarded Decompositions for Constraint Satisfaction.	CP	2006	DBLP DOI BibTeX RDF
10	Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. Lyu	Local Support Vector Regression for Financial Time Series Prediction.	IJCNN	2006	DBLP DOI BibTeX RDF
10	Olutayo O. Oladunni, Theodore B. Trafalis	A Pairwise Reduced Kernel-based Multi-classification Tikhonov Regularization Machine.	IJCNN	2006	DBLP DOI BibTeX RDF
10	Gerald DeJong	Toward Robust Real-World Inference: A New Perspective on Explanation-Based Learning.	ECML	2006	DBLP DOI BibTeX RDF
10	Aharon Ben-Tal	Recent Advances in Robust Optimization.	OR	2006	DBLP DOI BibTeX RDF
10	Jiong Guo, Falk Hüffner, Erhan Kenar, Rolf Niedermeier, Johannes Uhlmann	Complexity and Exact Algorithms for Multicut.	SOFSEM	2006	DBLP DOI BibTeX RDF
10	Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel	From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.	ACSAC	2006	DBLP DOI BibTeX RDF
10	Jayashri Vajpai, J. B. Arun	A Soft Computing Based Approach for Modeling of Chaotic Time Series.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
10	Berilhes Borges Garcia	New tractable classes for default reasoning from conditional knowledge bases.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 68T27
10	Ingo Mierswa, Katharina Morik	Automatic Feature Extraction for Classifying Audio Data.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	analysis of audio data, time series transformations, feature extraction, music recommender systems
10	Swapna S. Gokhale, Michael R. Lyu	A Simulation Approach to Structure-Based Software Reliability Analysis.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Application structure, discrete-event simulation, reliability analysis
10	Tiziana Margaria, Harald Raffelt, Bernhard Steffen	Knowledge-based relevance filtering for efficient system-level test-based model generation.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF
10	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	A Formal Approach to Requirements-Based Programming.	ECBS	2005	DBLP DOI BibTeX RDF	requirements-based programming, verification, formal methods, Validation, automatic code generation
10	Kivanc M. Ozonat, Robert M. Gray	Vector quantization for image classification with side information for the additive Gaussian noise channels.	ICIP (3)	2005	DBLP DOI BibTeX RDF
10	Takashi Washio, Yuki Mitsunaga, Hiroshi Motoda	Mining Quantitative Frequent Itemsets Using Adaptive Density-Based Subspace Clustering.	ICDM	2005	DBLP DOI BibTeX RDF
10	Erik D. Demaine, Mohammad Taghi Hajiaghayi	Bidimensionality: new connections between FPT algorithms and PTASs.	SODA	2005	DBLP BibTeX RDF
10	Giuseppe Campolieti, Roman N. Makarov	Parallel Lattice Implementation for Option Pricing under Mixed State-Dependent Volatility Models.	HPCS	2005	DBLP DOI BibTeX RDF
10	Kazuho Watanabe, Sumio Watanabe	Stochastic Complexity for Mixture of Exponential Families in Variational Bayes.	ALT	2005	DBLP DOI BibTeX RDF
10	Domitilla Del Vecchio, Richard M. Murray	Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.	HSCC	2005	DBLP DOI BibTeX RDF
10	Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Éric Würbel	Belief Revision of GIS Systems: The Results of REV!GIS.	ECSQARU	2005	DBLP DOI BibTeX RDF
10	Joachim Kneis, Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	On the Parameterized Complexity of Exact Satisfiability Problems.	MFCS	2005	DBLP DOI BibTeX RDF
10	Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan	Peer data exchange.	PODS	2005	DBLP DOI BibTeX RDF
10	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	PODS	2005	DBLP DOI BibTeX RDF
10	Guillaume Blin, Guillaume Fertin, Danny Hermelin, Stéphane Vialette	Fixed-Parameter Algorithms for Protein Similarity Search Under mRNA Structure Constraints.	WG	2005	DBLP DOI BibTeX RDF
10	Predrag T. Tosic	On Counting Fixed Point Configurations in Star Networks.	IPDPS	2005	DBLP DOI BibTeX RDF
10	Ingo Mierswa, Katharina Morik	Method trees: building blocks for self-organizable representations of value series: how to evolve representations for classifying audio data.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	analysis of audio data, evolving representations, time series transformations, feature extraction
10	Roderick A. Farmer, Baden Hughes	A Classification-Based Framework for Learning Object Assembly.	ICALT	2005	DBLP DOI BibTeX RDF
10	Mung Chiang, Shengyu Zhang, Prashanth Hande	Distributed rate allocation for inelastic flows: optimization frameworks, optimality conditions, and optimal algorithms.	INFOCOM	2005	DBLP DOI BibTeX RDF
10	Yi-Hui Su, Wen-Jye Shyr, Te-Jen Su	Optimal Design Using Clonal Selection Algorithm.	KES (1)	2005	DBLP DOI BibTeX RDF
10	Xin Li 0033, William K. Cheung 0001, Jiming Liu 0001	Decomposing Large-Scale POMDP Via Belief State Analysis.	IAT	2005	DBLP DOI BibTeX RDF
10	P. S. Sivarao	Expert System Suitability in Modeling and Analysis of Tool Wear in Drilling.	ICMENS	2005	DBLP DOI BibTeX RDF
10	Hubie Chen, Víctor Dalmau	Beyond Hypertree Width: Decomposition Methods Without Decompositions.	CP	2005	DBLP DOI BibTeX RDF
10	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.	WOSP	2005	DBLP DOI BibTeX RDF	European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems
10	Bruno Codenotti, Benton McCune, Kasturi R. Varadarajan	Market equilibrium via the excess demand function.	STOC	2005	DBLP DOI BibTeX RDF	tâtonnement, algorithms, approximation, polynomial-time algorithms, market equilibrium
10	Yun Zhang 0013, Faisal N. Abu-Khzam, Nicole E. Baldwin, Elissa J. Chesler, Michael A. Langston, Nagiza F. Samatova	Genome-Scale Computational Approaches to Memory-Intensive Applications in Systems Biology.	SC	2005	DBLP DOI BibTeX RDF
10	Michael Tryby, Baha Mirghani, S. Ranji Ranjithan, G. (Kumar) Mahinthakumar, Derek Baessler, Nicholas T. Karonis	LASSO: a grid-enabled simulation optimization framework.	GRID	2005	DBLP DOI BibTeX RDF
10	Dafydd Gibbon, Baden Hughes, Thorsten Trippel	Semantic Decomposition of Character Encodings for Linguistic Knowledge Discovery.	GfKl	2005	DBLP DOI BibTeX RDF
10	James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin	Formal Requirements-Based Programming for Complex Systems.	ICECCS	2005	DBLP DOI BibTeX RDF	verification, formal methods, Validation
10	Milind Tambe, Emma Bowring, Hyuckchul Jung, Gal A. Kaminka, Rajiv T. Maheswaran, Janusz Marecki, Pragnesh Jay Modi, Ranjit Nair, Stephen Okamoto, Jonathan P. Pearce, Praveen Paruchuri, David V. Pynadath, Paul Scerri, Nathan Schurr, Pradeep Varakantham	Conflicts in teamwork: hybrids to the rescue.	AAMAS	2005	DBLP DOI BibTeX RDF	game theory, BDI, POMDP, DCOP
10	Prakash Ishwar, Kannan Ramchandran	On decoder-latency versus performance tradeoffs in differential predictive coding.	ICIP	2004	DBLP DOI BibTeX RDF
10	Ulrik Brandes, Jürgen Lerner	Structural Similarity in Graphs (A Relaxation Approach for Role Assignment).	ISAAC	2004	DBLP DOI BibTeX RDF
10	Geyong Min, Mohamed Ould-Khaoua	Performance Evaluation of Hypercubes in the Presence of Multiple Time-Scale Correlated Traffic.	NPC	2004	DBLP DOI BibTeX RDF
10	Swapna S. Gokhale	Software Failure Rate and Reliability Incorporating Repair Policies.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
10	Tarek A. AlEnawy, Hakan Aydin	On Energy-Constrained Real-Time Scheduling.	ECRTS	2004	DBLP DOI BibTeX RDF
10	Geyong Min, Mohamed Ould-Khaoua, Irfan-Ullah Awan, Demetres D. Kouvatsos	Communication delay in hypercubic networks with LRD traffic.	SAC	2004	DBLP DOI BibTeX RDF	long-range dependent traffic, pipelined circuit switching, interconnection networks, performance modelling, adaptive routing
10	Luke K. McDowell, Oren Etzioni, Alon Y. Halevy, Henry M. Levy	Semantic email.	WWW	2004	DBLP DOI BibTeX RDF	decision-theoretic, semantic web, satisfiability, formal model
10	Hubie Chen, Stephen Chong	Owned Policies for Information Security.	CSFW	2004	DBLP DOI BibTeX RDF