|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22091 occurrences of 8614 keywords
|
|
|
Results
Found 30405 publication records. Showing 30405 according to the selection in the facets
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 |
|
Displaying result #601 - #700 of 30405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|