The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase normal form (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1970 (16) 1973-1977 (17) 1978-1979 (23) 1980-1982 (25) 1983-1984 (17) 1985-1986 (17) 1987 (27) 1988 (17) 1989-1990 (41) 1991 (20) 1992 (32) 1993 (21) 1994 (24) 1995 (25) 1996 (29) 1997 (32) 1998 (30) 1999 (39) 2000 (46) 2001 (45) 2002 (58) 2003 (57) 2004 (60) 2005 (84) 2006 (83) 2007 (107) 2008 (87) 2009 (73) 2010 (30) 2011 (25) 2012 (25) 2013 (26) 2014 (19) 2015 (22) 2016 (38) 2017 (31) 2018 (23) 2019 (17)
Publication types (Num. hits)
article(531) incollection(21) inproceedings(852) phdthesis(4)
Venues (Conferences, Journals, ...)
CoRR(40) ISSAC(29) RTA(26) ACM Trans. Database Syst.(24) CADE(23) CSL(23) Theor. Comput. Sci.(20) PODS(18) I. J. Bifurcation and Chaos(15) J. ACM(15) SAT(15) LICS(14) SIGMOD Conference(14) Games and Economic Behavior(13) JELIA(12) MFCS(12) More (+10 of total 582)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 927 occurrences of 609 keywords

Results
Found 1408 publication records. Showing 1408 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
125C. J. Date, Ronald Fagin Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF 5NF, BCNF, Boyce-Codd normal form, PJ/NF, fifth normal form, fourth normal form 4NF, projection-join normal form, simple key, relational database, normalization, database design, functional dependency, multivalued dependency, join dependency
107Ronald Fagin Multivalued Dependencies and a New Normal Form for Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF 3NF, 4NF, Boyce-Codd normal form, fourth normal form, relatioanl database, decomposition, normalization, database design, functional dependency, multivalued dependency, third normal form
62Ronald Fagin A Normal Form for Relational Databases That Is Based on Domians and Keys. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF DK/NF, domain-key normal form, complexity, relational database, normalization, database design, functional dependency, anomaly, multivalued dependency, join dependency
60Uwe Egly, Martina Seidl, Stefan Woltran A solver for QBFs in negation normal form. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Negation normal form, Solver, QBFs
59Gerold Jäger A New Algorithm for Computing the Smith Normal Form and Its Implementation on Parallel Machines. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky 0001, Sushil Jajodia Logical Design for Temporal Databases with Multiple Granularities. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
58Tok Wang Ling, Frank Wm. Tompa, Tiko Kameda An Improved Third Normal Form for Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF prime attribute, transitive dependency, reconstructibility, normalization, database design, functional dependency, covering, relational schema, third normal form
58V. V. Khodorovskii On Normalization of Relations in Relational Databases. Search on Bibsonomy Programming and Computer Software The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Wai Yin Mok, Yiu-Kai Ng, David W. Embley A Normal Form for Precisely Characterizing Redundancy in Nested Relations. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF functional and multivalued dependencies, nested normal form, normalization theory, scheme trees, database design, nested relations, data redundancy
55Behrooz K. Seyed-Abbassi, John C. Thompson Grammatical relational database model (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
54Andrew Fish, Chris John, John Taylor 0001 A Normal Form for Euler Diagrams with Shading. Search on Bibsonomy Diagrams The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Robert Koch 0001, Norbert Blum Greibach Normal Form Transformation, Revisited. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Gerold Jäger Reduction of Smith Normal Form Transformation Matrices. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transformation matrices, lattice basis reduction, Smith normal form
53Zoltán Ésik, Hans Leiß Greibach Normal Form in Algebraically Complete Semirings. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
50Reiner Hähnle, Neil V. Murray, Erik Rosenthal Completeness for Linear Regular Negation Normal Form Inference Systems. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
49Yonghui Wu, Wenyun Ji, Aoying Zhou Implementation and Proof for Normalization Design of Object-Oriented Data Schemes. Search on Bibsonomy TOOLS (36) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Nested Relationship, Object Scheme Tree, Normal Object Scheme Forest, Object Normal Form, Redundancy, Normalization, Path, Object Dependency
49Tok Wang Ling, Ling-Ling Yan NF-NR: A practical normal form for nested relations. Search on Bibsonomy Journal of Systems Integration The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Entity-Relationship Approach, extended-functional dependency, normal forms, Nested relation
48Peter J. Vassiliou Efficient Construction of Contact Coordinates for PartialProlongations. Search on Bibsonomy Foundations of Computational Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generalised Goursat normal form, Partial prolongation, Nonlinear control theory, Contact coordinates, Brunovsky normal form, Algorithm
48Wenying Zhang, Chuan-Kun Wu The Algebraic Normal Form, Linear Complexity and k-Error Linear Complexity of Single-Cycle T-Function. Search on Bibsonomy SETA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Single-cycle T-function, Algebraic normal form, k-error complexity, Cryptography, Linear complexity
48Eric Hung-Yu Tseng, Jean-Luc Gaudiot Automatic Array Partitioning Based on the Smith Normal Form. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Data partitioning, communication optimization, parallel loop, Smith-normal-form
48Catriel Beeri, Philip A. Bernstein Computational Problems Related to the Design of Normal Form Relational Schemas. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF derivation tree, membership algorithm, relational database, NP-complete, database design, function dependency, third normal form
47Carlo Zaniolo A New Normal Form for the Design of Relational Database Schemata. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF functional dependencies, relational model, database schema
43Evangelos Triantaphyllou, Jennifer Austin-Rodriguez Optimization in Boolean Classification Problems. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Inductive inference problem, Boolean classification problem, Minimum number of clauses, One clause at a time approach, OCAT, GRASP approach, Randomized heuristics, Missing information, Unclassifiable examples, SAT, Learning algorithm, Medical diagnosis, Conjunctive normal form, CNF, Satisfiability problem, Disjunctive normal form, DNF
43Vetle I. Torvik, Evangelos Triantaphyllou Inference of Monotone Boolean Functions. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
43Salvador Nieto Sánchez, Evangelos Triantaphyllou Optimization in Classifying Text Documents. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Indexing terms, Context descriptors, Document surrogate, Principle of least effort, PLE, One clause at a time algorithm, OCAT, Indexing vocabulary, Optimal indexing vocabulary, Semantic analysis methodologies, Word patterns, Text classification, Document classification, Computational linguistics, Vector space model, Keywords, Conjunctive normal form, CNF, Disjunctive normal form, DNF, VSM
43Jenn-Yang Ke, Jong-Chuang Tsay An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Uniform dependence algorithms, lower dimensional arrays, link conflict, mixed integer linear programming, space-time mapping, Smith normal form, Hermite normal form
43Edward Babb Joined Normal Form: A Storage Encoding for Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF content addressing hardware, implication network, storage encoding tags, network, relational database, queries, mathematical model, updates, functional dependencies, joins, third normal form, CAFS
43Philip A. Bernstein Synthesizing Third Normal Form Relations from Functional Dependencies. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF semantics of data, functional dependency, relational model, database schema, third normal form
42Gerold Jäger Parallel Algorithm for Computing the Smith Normal Form of Large Matrices. Search on Bibsonomy PVM/MPI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Z. Meral Özsoyoglu, Li-Yan Yuan A New Normal Form for Nested Relations. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Millist W. Vincent Semantic Foundations of 4NF in Relational Database Design. Search on Bibsonomy Acta Inf. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Søren B. Lassen, Paul Blain Levy Typed Normal Form Bisimulation. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Marcelo Arenas, Leonid Libkin A normal form for XML documents. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF design, functional dependencies, normal form, DTDs, XML data
38B. David Saunders, Zhendong Wan Smith normal form of dense integer matrices fast algorithms into practice. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF integer matrix, smith normal form
37C. J. Date, Ronald Fagin Response to "Remarks on Two New Theorems of Date and Fagin". Search on Bibsonomy SIGMOD Record The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
37Edward Omiecinski A Parallel Algorithm for Relational Database Normalization. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF relational database normalization, database normalization, relation schemes, third normal form algorithm, serial algorithms, minimal covers, parallel algorithm, parallel algorithms, relational databases, correctness, functional dependencies
37Xianchun Zou, Heng Zhang An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Sven Hartmann, Sebastian Link The Nested List Normal Form for Functional and Multivalued Dependencies. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Mary Cryan, Allan Ramsay Constructing a Normal Form for Property Theory. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Mark A. Roth, Henry F. Korth The Design of ¬1NF Relational Databases into Nested Normal Form. Search on Bibsonomy SIGMOD Conference The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
33Huibiao Zhu, Yongxin Zhao, Jifeng He Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Rakesh M. Verma Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Akio Fujiyoshi Analogical Conception of Chomsky Normal Form and Greibach Normal Form for Linear, Monadic Context-Free Tree Grammars. Search on Bibsonomy IEICE Transactions The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Shamkant B. Navathe, Alan G. Merten Investigations into the Application of the Relational Model to Data Translation. Search on Bibsonomy SIGMOD Conference The full citation details ... 1975 DBLP  DOI  BibTeX  RDF normal forms of data, relational model of data, data base, data translation, data definition, data restructuring
32YaLi Dong, JiaoJiao Fan, ShengWei Mei Quadratic stabilization of switched nonlinear systems. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF switched nonlinear system, quadratic stabilization, uniform normal form, zero dynamics, common quadratic Lyapunov function
32Milan Petrík Quine-McCluskey method for many-valued logical functions. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical circuit design, Many-valued logic, Normal form, Hardware design
32Tennyson X. Chen, Sean Shuangquan Liu, Martin D. Meyer, Donald Gotterbarn An introduction to functional independency in relational database normalization. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF functional independency, relational database design, sub-domain dependency, decomposition, functional dependency, attribute, normal form
32Xin Li 0009, Marc Moreno Maza Multithreaded parallel implementation of arithmetic operations modulo a triangular set. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithms, parallelization, polynomials, high-performance, normal form
32Junhu Wang Database Design with Equality-Generating Dependencies. Search on Bibsonomy DASFAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy
32Kishan Chand Gupta, Palash Sarkar 0001 Computing Partial Walsh Transform From the Algebraic Normal Form of a Boolean Function. Search on Bibsonomy IEEE Trans. Information Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Jean Vuillemin, Nicolas Gama Compact Normal Form for Regular Languages as Xor Automata. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Michael Kaisers, Karl Tuyls, Frank Thuijsman, Simon Parsons Auction Analysis by Normal Form Game Approximation. Search on Bibsonomy IAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Mark Levene, Millist W. Vincent Justification for Inclusion Dependency Normal Form. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Relational database design, functional dependency, normal forms, inclusion dependency
32Jürgen Albert, Dora Giammarresi, Derick Wood Extended Context-Free Grammars and Normal Form Algorithms. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Uwe Egly, Thomas Rath On the Practical Value of Different Definitional Translations to Normal Form. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
32Margaret S. Wu The practical need for fourth normal form. Search on Bibsonomy SIGCSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Michael Fisher 0001 A Normal Form for First-Order Temporal Formulae. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Betty Salzberg Third Normal Form Made Easy. Search on Bibsonomy SIGMOD Record The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
30François Ollivier The reduction to normal form of a non-normal system of differential equations. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 12H05, 65-03, 65L80, 65L08, 90C27, 90C05
30Qiusheng An, Gaoping Wang, Wenxiu Zhang The Study of Normal Form of Relational Database Based on Rough Sets Theory. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Alessandro Berarducci, Corrado Böhm A Self-Interpreter of Lambda Calculus Having a Normal Form. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30G. C. H. Sharman A Constructive Definition of Third Normal Form. Search on Bibsonomy SIGMOD Conference The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
30Lawrence Peh, Chi Ping Tsang Weight Sensitive Boolean Extraction Produces Compact Expressions. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF weight sensitivity, neural network, rule extraction, boolean expression, disjunctive normal form
29Richard Kennaway, M. Ronan Sleep Director Strings as Combinators. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
28Madhu Mutyam, Kamala Krithivasan Generalized normal form for rewriting P systems. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Cong Yu 0001, H. V. Jagadish XML schema refinement through redundancy detection and normalization. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Schema design, XML, Functional dependency, Normal form, Data redundancy
28Victor M. Markowitz, Johann A. Makowsky Identifying Extended Entity-Relationship Object Structures in Relational Schemas. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF extended entity-relationship object structures, relation-schemes, key dependencies, key-based inclusion dependencies, referential integrity constraints, EER schema, EER-convertible, EER object structures, normalization procedure, relational database schemas, object-oriented database schemas, semantics, object-oriented programming, relational databases, database management systems, database theory, normal form, relational schemas
28Søren B. Lassen, Paul Blain Levy Typed Normal Form Bisimulation for Parametric Polymorphism. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF LTS, bisimulation, parametric polymorphism, typed lambda calculus
28Jens R. Woinowski A Normal Form for Church-Rosser Language Systems. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Solmaz Kolahi, Leonid Libkin On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Xin Jin, Mingyang Zhang, Nan Zhang 0004, Gautam Das 0001 Versatile publishing for privacy preservation. Search on Bibsonomy KDD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF guardian normal form, versatile publishing, decomposition, privacy preservation
27Alexander D. Bruno, Victor F. Edneral On Integrability of a Planar ODE System Near a Degenerate Stationary Point. Search on Bibsonomy CASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF local integrability, resonant normal form, power geometry, computer algebra, ordinary differential equations
27Kwangsu Lee, Jung Yeon Hwang, Dong Hoon Lee 0001 Non-interactive Identity-Based DNF Signature Scheme and Its Extensions. Search on Bibsonomy ICISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Signer Anonymity, Identity-Based Signature, Disjunctive Normal Form, Access Structure
27Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov Solution and Optimization of Systems of Pseudo-Boolean Constraints. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
27Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang An Interpreter for Framed Tempura and Its Application. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF temporal logic programming, projection, framing, normal form
27Victor F. Edneral An Algorithm for Construction of Normal Forms. Search on Bibsonomy CASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resonant normal form, nonlinear ordinary differential equations, computer algebra
27Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov Efficient Symmetry Breaking for Boolean Satisfiability. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
27Tore Langholm A descriptive characterisation of linear languages. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Linear languages, Greibach normal form, Descriptive complexity
27Deepak Kumar Dalai, Subhamoy Maitra Reducing the Number of Homogeneous Linear Equations in Finding Annihilators. Search on Bibsonomy SETA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algebraic Normal Form, Homogeneous Linear Equations, Boolean Functions, Algebraic Attacks, Annihilators
27Bernard Mourrain Generalized normal forms and polynomial system solving. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
27Meike Klettke, Holger Meyer 0001 XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics. Search on Bibsonomy WebDB (Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases
27Eric Hung-Yu Tseng, Jean-Luc Gaudiot Communication Generation for Aligned and Cyclic(K) Distributions Using Integer Lattice. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF message passing, HPF, communication optimizations, Distributed arrays, Smith-Normal-Form
27Ramamohan Paturi, Pavel Pudlák, Francis Zane Satisfiability Coding Lemma. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
27Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
27Francis K. H. Quek, Meide Zhao Inductive learning in hand pose recognition. Search on Bibsonomy FG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hand pose recognition, gestural systems, user hand anatomy, perspective effects, rulebase, disjunctive normal form formulae, rule-based induction system, flexible matching, inductive learning, learning by example
27Agustin Fernández, José M. Llabería, Miguel Valero-García Loop Transformation Using Nonunimodular Matrices. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF nonunimodular transformations, loop transformations, linear transformations, Iteration space, unimodular transformations, Hermite Normal Form
27Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl Proving Total Correctness of Programs in Weak Second-Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
27Franz-Josef Brandenburg The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF boundary and confluent graph grammars, operator normal form, graph languages of bounded degree, graph grammars
27Chao-Chih Yang, Guang Li, Peter A. Ng An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF subset closures, relational database scheme, elementary key normal form, subset closures, computational complexity, relational databases, time complexity, database theory, functional dependences, set theory, Hamiltonian cycles
27Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization. Search on Bibsonomy BNCOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Nathan Huntley, Matthias C. M. Troffaes An Efficient Normal Form Solution to Decision Trees with Lower Previsions. Search on Bibsonomy SMPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Søren B. Lassen Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Vincent Conitzer, Tuomas Sandholm A technique for reducing normal-form games to compute a Nash equilibrium. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computing nash equilibria, game theory, preprocessing
27Neil V. Murray, Erik Rosenthal Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Jixue Liu, Millist W. Vincent Containment and disjointedness in partitioned normal form relations. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Marcelo Arenas, Leonid Libkin A Normal Form for XML Documents. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML
27Hans de Nivelle Extraction of Proofs from the Clausal Normal Form Transformation. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Xiaoying Wu, Tok Wang Ling, Sin Yeung Lee, Mong-Li Lee, Gillian Dobbie NF-SS: A Normal Form for Semistructured Schema. Search on Bibsonomy ER (Workshops) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Daniele Micciancio, Bogdan Warinschi A linear space algorithm for computing the herite normal form. Search on Bibsonomy ISSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Paul G. Lucassen, Indra Polak, Jan Tijmen Udding Normal Form in DI-Algebra with Recursion. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1408 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license