Search results for "P-complete"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Cautious Transaction Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	cautious schedulers, WW, write-write constraints, WRW, WW-scheduler, polynomial-time scheduling algorithm, read sets, write sets, scheduling, computational complexity, computational complexity, distributed databases, distributed databases, NP-complete, database theory, transaction schedulers, database concurrency control
13	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
13	Don S. Batory	On Searching Transposed Files.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	inveited file, multilist, transposed file, query processing, NP-complete, file searching
13	Catriel Beeri, Philip A. Bernstein	Computational Problems Related to the Design of Normal Form Relational Schemas.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	derivation tree, membership algorithm, relational database, NP-complete, database design, function dependency, third normal form
13	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
13	Wenfei Fan, Floris Geerts	Relative information completeness.	PODS	2009	DBLP DOI BibTeX RDF	information completeness, master data, constraints, consistency
13	Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer	The Complexity of Reasoning for Fragments of Default Logic.	SAT	2009	DBLP DOI BibTeX RDF
13	Johan Kwisthout	The Computational Complexity of Monotonicity in Probabilistic Networks.	FCT	2007	DBLP DOI BibTeX RDF
13	Gang Gou, Maxim Kormilitsin, Rada Chirkova	Query evaluation using overlapping views: completeness and efficiency.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	rewriting queries using views, query optimization, materialized views
13	Piotr Faliszewski, Mitsunori Ogihara	Separating the Notions of Self- and Autoreducibility.	MFCS	2005	DBLP DOI BibTeX RDF
13	Régis Barbanchon, Etienne Grandjean	Local Problems, Planar Local Problems and Linear Time.	CSL	2002	DBLP DOI BibTeX RDF
13	Lefteris M. Kirousis, Phokion G. Kolaitis	On the Complexity of Model Checking and Inference in Minimal Models.	LPNMR	2001	DBLP DOI BibTeX RDF
13	Levke Bentzien	Positive Turing and Truth-Table Completeness for NEXP Are Incomparable.	MFCS	1998	DBLP DOI BibTeX RDF
13	Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel	RSN1-tt(NP) Distinguishes Robust Many-One and Turing Completeness.	CIAC	1997	DBLP DOI BibTeX RDF
13	Randy Browne	An Entropy Conservation Law for Testing the Completeness of Convert Channel Analysis.	CCS	1994	DBLP DOI BibTeX RDF
13	Miki Hermann, Phokion G. Kolaitis	The Complexity of Counting Problems in Equational Matching.	CADE	1994	DBLP DOI BibTeX RDF
13	Tomasz Imielinski, Kumar V. Vadaparty	Complexity of Query Processing in Databases with OR-Objects.	PODS	1989	DBLP DOI BibTeX RDF
12	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
12	Chadi Khirallah, Vladimir Stankovic 0001, Lina Stankovic, Yang Yang 0003, Zixiang Xiong	Bandwidth efficient multi-station wireless streaming based on complete complementary sequences.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
12	Frédéric Guyon, Céline Brochier-Armanet, Alain Guénoche	Comparison of alignment free string distances for complete genome phylogeny.	Adv. Data Anal. Classif.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05C05, 68R15, 92B10, 90C27
12	Brian D. Sutton	Computing the complete CS decomposition.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65F15, 15A23, 15A18
12	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio 0001	Applying River Formation Dynamics to Solve NP-Complete Problems.	Nature-Inspired Algorithms for Optimisation	2009	DBLP DOI BibTeX RDF
12	Yeting Ge, Leonardo Mendonça de Moura	Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.	CAV	2009	DBLP DOI BibTeX RDF
12	Xin Zhao, Yuqin Lv, Wenxin He	A Novel Micropayment Scheme with Complete Anonymity.	IAS	2009	DBLP DOI BibTeX RDF
12	Brendan Elliott, En Cheng, Chimezie Thomas-Ogbuji, Z. Meral Özsoyoglu	A complete translation from SPARQL into efficient SQL.	IDEAS	2009	DBLP DOI BibTeX RDF	semantic web, SQL, RDF, SPARQL
12	Young-Ho Choi, Tae-Kyeong Lee, Sanghoon Baek, Se-Young Oh	Online complete coverage path planning for mobile robots based on linked spiral paths using constrained inverse distance transform.	IROS	2009	DBLP DOI BibTeX RDF
12	Jasmina Omic, Robert E. Kooij, Piet Van Mieghem	Heterogeneous Protection in Regular and Complete Bi-partite Networks.	Networking	2009	DBLP DOI BibTeX RDF	Virus spread, heterogeneous networks, epidemic threshold
12	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
12	S. Dov Gordon, Jonathan Katz	Complete Fairness in Multi-party Computation without an Honest Majority.	TCC	2009	DBLP DOI BibTeX RDF
12	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
12	Nikolaos D. Liveris, Hai Zhou 0001, Prithviraj Banerjee	Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Peter B. Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac, Aleksandar Chakarov	Tricolorable torus knots are NP-complete.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
12	Ting Li, Bo Shu, Xianjie Qiu, Zhaoqi Wang	A complete descriptor of line-segment-pair for symbol recognition.	CGI	2009	DBLP DOI BibTeX RDF
12	Jianguo Lu, Minghao Li, John Mylopoulos, Kenneth Cheung	Complete and Equivalent Query Rewriting Using Views.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF
12	Md. Aquil Khan, Mohua Banerjee	A Logic for Complete Information Systems.	ECSQARU	2009	DBLP DOI BibTeX RDF
12	Johannes Köbler, Sebastian Kuhnert	The Isomorphism Problem for k-Trees Is Complete for Logspace.	MFCS	2009	DBLP DOI BibTeX RDF	graph canonization, logspace completeness, graph isomorphism, space complexity, k-trees
12	Xianming Liu, Hongxun Yao, Rongrong Ji, Pengfei Xu 0001, Xiaoshuai Sun	What is a complete set of keywords for image description & annotation on the web.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	keyword selection, semantic items, ontology, image annotation
12	Chinh T. Vu, Yingshu Li	Delaunay-Triangulation Based Complete Coverage in Wireless Sensor Networks.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
12	Adam Roman	Decision Version of the Road Coloring Problem Is NP-Complete.	FCT	2009	DBLP DOI BibTeX RDF
12	Bernd Steinbach, Christian Posthoff	Complete Sets of Hamiltonian Circuits for Classification of Documents.	EUROCAST	2009	DBLP DOI BibTeX RDF
12	Wumo Pan, Tien D. Bui, Ching Y. Suen	Isolated Handwritten Farsi Numerals Recognition Using Sparse and Over-Complete Representations.	ICDAR	2009	DBLP DOI BibTeX RDF
12	Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy	On Complete Functional Broadside Tests for Transition Faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
12	Uwe Naumann	Optimal Jacobian accumulation is NP-complete.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 26B10, 68Q17
12	Haiyun Bian, Raj Bhatnagar	An Algorithm for Mining Weighted Dense Maximal 1-Complete Regions.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
12	Marcin Dabrowski, Piotr Pacyna	Generic and Complete Three-Level Identity Management Model.	SECURWARE	2008	DBLP DOI BibTeX RDF
12	Noor Shamsiah Othman, Mohammed El-Hajjar, Anh Quang Pham, Osamah Alamri, Soon Xin Ng, Lajos Hanzo	Over-Complete Source-Mapping Aided AMR-WB MIMO Transceiver Using Three-Stage Interative Detection.	ICC	2008	DBLP DOI BibTeX RDF
12	Wankou Yang, Hui Yan, Jianguo Wang 0002, Jingyu Yang 0001	Face recognition using Complete Fuzzy LDA.	ICPR	2008	DBLP DOI BibTeX RDF
12	Jon Sneyers	Turing-Complete Subclasses of CHR.	ICLP	2008	DBLP DOI BibTeX RDF
12	Radu Mardare, Alberto Policriti	A Complete Axiomatic System for a Process-Based Spatial Logic.	MFCS	2008	DBLP DOI BibTeX RDF
12	Horatiu Jula, George Candea	A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.	RV	2008	DBLP DOI BibTeX RDF
12	Yong Gao 0001	Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms.	SAT	2008	DBLP DOI BibTeX RDF
12	Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
12	Ruining Li, Zhurong Zhou, Yuhui Qiu	Automated Composition of Semantic Web Service Using Data Mediator and Complete Backward Tree.	CSSE (2)	2008	DBLP DOI BibTeX RDF
12	Wen-Gong Shieh, Wen-Bing Horng	Efficient and complete remote authentication scheme with smart cards.	ISI	2008	DBLP DOI BibTeX RDF
12	Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri	Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage.	IWSOS	2008	DBLP DOI BibTeX RDF
12	Prosenjit Bose, Paz Carmi, Mathieu Couture, Anil Maheshwari, Pat Morin, Michiel H. M. Smid	Spanners of Complete k -Partite Geometric Graphs.	LATIN	2008	DBLP DOI BibTeX RDF
12	Martin Fürer	Solving NP-Complete Problems with Quantum Search.	LATIN	2008	DBLP DOI BibTeX RDF
12	Kord Eickmeyer, Martin Grohe, Magdalena Grüber	Approximation of Natural W[P]-Complete Minimisation Problems Is Hard.	CCC	2008	DBLP DOI BibTeX RDF	derandomisation, parameterized complexity, inapproximability
12	Marcel Erné, Mai Gehrke, Ales Pultr	Complete Congruences on Topologies and Down-set Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D10, Secondary 06A15, 06D22, 54H10, 08A30
12	Risco Mulwani Mutelo, Wai Lok Woo, Satnam Singh Dlay	A Complete Fisher Discriminant Analysis for Based Image Matrix and Its Application to Face Biometrics.	ICB	2007	DBLP DOI BibTeX RDF	Fisher Discriminant Analysis (FDA), Feature extraction, Face Recognition, Biometrics, image representation, two dimensional Image
12	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Complete Process Semantics for Inhibitor Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
12	Liangjun Zhang, Young J. Kim, Dinesh Manocha	A hybrid approach for complete motion planning.	IROS	2007	DBLP DOI BibTeX RDF
12	Shih-Lien Lu, Peter Yiannacouras, Rolf Kassa, Michael Konow, Taeweon Suh	An FPGA-based Pentium in a complete desktop system.	FPGA	2007	DBLP DOI BibTeX RDF	pentium®, FPGA, emulator, accelerator, processor
12	John Harding, Carol L. Walker, Elbert A. Walker	On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Mohieddine Missaoui, David R. C. Hill, Cécile Militon, Pierre Peyret	Complete Backtranslation of Oligopeptides for Metabolic Pathways Exploration of Complex Environments using Functional Microarrays.	BIBE	2007	DBLP DOI BibTeX RDF
12	Vasudha Bhatnagar, Sharanjit Kaur	Exclusive and Complete Clustering of Streams.	DEXA	2007	DBLP DOI BibTeX RDF
12	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
12	Laurent Dupont 0004, Michael Hemmer, Sylvain Petitjean, Elmar Schömer	Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics.	ESA	2007	DBLP DOI BibTeX RDF
12	Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira	Aliased Register Allocation for Straight-Line Programs Is NP-Complete.	ICALP	2007	DBLP DOI BibTeX RDF
12	Damien Pous	Complete Lattices and Up-To Techniques.	APLAS	2007	DBLP DOI BibTeX RDF
12	Yuriy Brun	Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time.	DNA	2007	DBLP DOI BibTeX RDF
12	Fawad Nazir, Tallat Hussain Tarar, Faran Javed Chawla, Hiroki Suguri, Hafiz Farooq Ahmad, Arshad Ali	Constella: A Complete IP Network Topology Discovery Solution.	APNOMS	2007	DBLP DOI BibTeX RDF	Network Monitoring and Management, Simple Network Management Protocol (SNMP)
12	Bart Kuijpers, Walied Othman	Trajectory Databases: Data Models, Uncertainty and Complete Query Languages.	ICDT	2007	DBLP DOI BibTeX RDF
12	Ming-Wen Shao	A Complete Method to Incomplete Information Systems.	RSKT	2007	DBLP DOI BibTeX RDF	Rough sets, knowledge reduction, incomplete information systems
12	Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto	Proposal of a Complete Life Cycle In-Process Measurement Model Based on Evaluation of an In-Process Measurement Experiment Using a Standardized Requirement Definition Process.	ESEM	2007	DBLP DOI BibTeX RDF	In-process measurement, Requirement definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement
12	Paulin Jacobé de Naurois, Virgile Mogbil	Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete.	CSL	2007	DBLP DOI BibTeX RDF
12	Iddo Hanniel, Ron Wein	An exact, complete and efficient computation of arrangements of Bézier curves.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Bézier curves, robustness, arrangements, exact computation, CGAL
12	Joachim Kneis, Daniel Mölle, Peter Rossmanith	Partial vs. Complete Domination: t-Dominating Set.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
12	Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider	Covering Graphs with Few Complete Bipartite Subgraphs.	FSTTCS	2007	DBLP DOI BibTeX RDF
12	Krishnendu Chatterjee	Stochastic Müller Games are PSPACE-Complete.	FSTTCS	2007	DBLP DOI BibTeX RDF
12	Zdenka Riecanová	Embeddings of generalized effect algebras into complete effect algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF
12	Denis Cornaz	A linear programming formulation for the maximum complete multipartite subgraph problem.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991) 05C15, 90C09
12	Domenico Cantone, Calogero G. Zarba	A Decision Procedure for Monotone Functions over Bounded and Complete Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
12	Michael Krüger, Harald Hempel	Inverse HAMILTONIAN CYCLE and Inverse 3-D MATCHING Are coNP-Complete.	ISAAC	2006	DBLP DOI BibTeX RDF	coNP-completeness, inverse NP-problems, 3-DIMENSIONAL MATCHING, computational complexity, HAMILTONIAN CYCLE
12	Christopher Ré, Jérôme Siméon, Mary F. Fernández	A Complete and Efficient Algebraic Compiler for XQuery.	ICDE	2006	DBLP DOI BibTeX RDF
12	Zhiyang Yao	Finding Efficient Robot Path for the Complete Coverage of A Known Space.	IROS	2006	DBLP DOI BibTeX RDF
12	Pierluigi Daglio	A complete and fully qualified design flow for verification of mixed-signal SoC with embedded flash memories.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
12	Fernando Magno Quintão Pereira, Jens Palsberg	Register Allocation After Classical SSA Elimination is NP-Complete.	FoSSaCS	2006	DBLP DOI BibTeX RDF
12	Feng Zhao, Xicheng Lu, Peidong Zhu, Jinjing Zhao	BGPSep_S: An Algorithm for Constructing IBGP Configurations with Complete Visibility.	ICDCN	2006	DBLP DOI BibTeX RDF
12	Li Ma 0002, Yang Yang 0041, Zhaoming Qiu, Guo Tong Xie, Yue Pan, Shengping Liu	Towards a Complete OWL Ontology Benchmark.	ESWC	2006	DBLP DOI BibTeX RDF
12	Grigore Rosu	Equality of streams is a Pi0 over 2-complete problem.	ICFP	2006	DBLP DOI BibTeX RDF	infinite structures, streams, algebraic specification
12	Yves Guiard, Michel Beaudouin-Lafon, Yangzhou Du, Caroline Appert, Jean-Daniel Fekete, Olivier Chapuis	Shakespeare's complete works as a benchmark for evaluating multiscale document navigation techniques.	BELIV	2006	DBLP DOI BibTeX RDF	evaluation benchmark, evaluation standard, multiscale document navigation techniques, Fitts' law, target acquisition
12	Stéphane Demri, Denis Lugiez	Presburger Modal Logic Is PSPACE-Complete.	IJCAR	2006	DBLP DOI BibTeX RDF
12	Eugene Goldberg	Determinization of Resolution by an Algorithm Operating on Complete Assignments.	SAT	2006	DBLP DOI BibTeX RDF
12	Katalin Friedl, Gábor Ivanyos, Miklos Santha, Yves F. Verhoeven	Locally 2-Dimensional Sperner Problems Complete for the Polynomial Parity Argument Classes.	CIAC	2006	DBLP DOI BibTeX RDF
12	Ofer M. Shir, Christian Siedschlag, Thomas Bäck, Marc J. J. Vrakking	The complete-basis-functions parameterization in ES and its application to laser pulse shaping.	GECCO	2006	DBLP DOI BibTeX RDF	evolution strategies, parameterization, laser pulse shaping
12	Marie-Pierre Béal, Dominique Perrin	Complete Codes in a Sofic Shift.	STACS	2006	DBLP DOI BibTeX RDF
12	Ranjit Jhala, Kenneth L. McMillan	A Practical and Complete Approach to Predicate Refinement.	TACAS	2006	DBLP DOI BibTeX RDF
12	Wu-Hua Chen, Wei Xing Zheng 0001	A study of complete stability for delayed cellular neural networks.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Adrian Kosowski	Approximation Strategies for Routing Edge Disjoint Paths in Complete Graphs.	SIROCCO	2006	DBLP DOI BibTeX RDF