|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1152 occurrences of 870 keywords
|
|
|
|
|
Results
Found 1414 publication records. Showing 1414 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Paul Tafertshofer, Andreas Ganz, Manfred Henftling |
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph |
| 4 | Maurice Bernadet |
Fuzzy Knowledge Discovery Based on Statistical Implication Indexes.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
Statistical implication, fuzzy knowledge discovery, fuzzy operators, fuzzy implication |
| 4 | Jiming Liu, Michel Desmarais |
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation.  |
IEEE Trans. Knowl. Data Eng.  |
1997 |
DBLP DOI BibTeX RDF |
Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning |
| 3 | Young-il Lee, Yong-Gi Kim |
Comparison of fuzzy implication operators by means of fuzzy relational products used for intelligent local path-planning of AUVs.  |
Soft Comput.  |
2009 |
DBLP DOI BibTeX RDF |
Autonomous underwater vehicles(AUVs), ?-Cut, Fuzzy relational products, Implication operator, Local path-planning |
| 3 | Jianxin Wang, Xiaoshuang Xu, Jianer Chen |
Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs.  |
J. Comput. Sci. Technol.  |
2008 |
DBLP DOI BibTeX RDF |
Min-CVCB, parameter complexity, chain implication, approximation algorithm |
| 3 | Rajamani Sethuram, Michael L. Bushnell, Vishwani D. Agrawal |
Fault Nodes in Implication Graph for Equivalence/Dominance Collapsing, and Identifying Untestable and Independent Faults.  |
VTS  |
2008 |
DBLP DOI BibTeX RDF |
Diagnosis, ATPG, Fault Model, Fault Collapsing, Implication Graph |
| 3 | Marcelo Tallis, Robert Balzer |
A Functional Spreadsheet Framework for Authoring Logic Implication Rules.  |
RuleML  |
2008 |
DBLP DOI BibTeX RDF |
Deductive Spreadsheets, Authoring Logic Implication rules, End-users programming, SWRL |
| 3 | Pilar Orús, Pablo Gregori |
Fictitious Pupils and Implicative Analysis: a Case Study.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
entropic implication, fictitious subject, intensity of implication, quasi-implication, statistical implicative analysis, Contribution, typicality |
| 3 | Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang |
Implication-Based Approximating Bounded Model Checking.  |
FSEN  |
2007 |
DBLP DOI BibTeX RDF |
Approximation, Abstraction, Bounded Model Checking, Implication |
| 3 | Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi |
Weak Implication in Terms of Conditional Uncertainty Measures.  |
ECSQARU  |
2007 |
DBLP DOI BibTeX RDF |
conditional uncertainty measures, weak implication, default logic |
| 3 | Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen |
On Relationships of Filters in Lattice Implication Algebra.  |
ICFIE  |
2007 |
DBLP DOI BibTeX RDF |
FL-filter, NF-filter, Lattice Implication Algebra |
| 3 | Xiaohong Zhang, Yingcang Ma, Zhanao Xue, Gang Yao |
Implication Operators Based on Rough Set Model over Boolean Algebras.  |
GrC  |
2007 |
DBLP DOI BibTeX RDF |
Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras |
| 3 | Jiajun Lai, Xu Yang, Jun Ma |
On Extension of LI-Ideal in Lattice Implication Algebra.  |
IFSA  |
2007 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, LI-ideals, WLI-ideals, maximal WLI-ideals, Lattice ideals |
| 3 | Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir |
The use of semantic-based predicates implication to improve horizontal multimedia database fragmentation.  |
MS  |
2007 |
DBLP DOI BibTeX RDF |
data implication, multimedia retrieval, data partition, horizontal fragmentation |
| 3 | Zhong-Zhen Wu, Shih-Chieh Chang |
Multiple wire reconnections based on implication flow graph.  |
ACM Trans. Design Autom. Electr. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
global flow optimization (GFO), implication flow graph (IFG), mandatory assignment, multiple wire reconnection, redundant wire, Automatic test pattern generation (ATPG) |
| 3 | Józef Drewniak, Jolanta Sobera |
Compositions of invariant fuzzy implications.  |
Soft Comput.  |
2006 |
DBLP DOI BibTeX RDF |
Invariant implication, Composition table, Idempotent implication, Fuzzy implication |
| 3 | Fu Lihua, He Huacan |
Research on Information Requirement of First-Order Universal Implication Operators in Fuzzy Reasoning.  |
Intelligent Information Processing  |
2004 |
DBLP DOI BibTeX RDF |
First-order universal implication, General correlation, General self-correlation, Measure of specificity, Information boundedness principle, Universal logic |
| 3 | Xue Zhan-ao, He Hua-can, Ma Ying-cang |
Algebraic Property of Rough Implication Based on Interval Structure.  |
Intelligent Information Processing  |
2004 |
DBLP DOI BibTeX RDF |
Rough Logic, Rough Implication, Approximation Spaces, Algebraic Property |
| 3 | Hiroyuki Higuchi |
An implication-based method to detect multi-cycle paths in large sequential circuits.  |
DAC  |
2002 |
DBLP DOI BibTeX RDF |
multi-cycle path, sequential circuits, ATPG, implication |
| 3 | Xubo Zhang, Z. Meral Özsoyoglu |
Implication and Referential Constraints: A New Formal Reasoning.  |
IEEE Trans. Knowl. Data Eng.  |
1997 |
DBLP DOI BibTeX RDF |
Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation |
| 3 | Hideyuki Ichihara, Kozo Kinoshita |
On Acceleration of Logic Circuits Optimization Using Implication Relations.  |
Asian Test Symposium  |
1997 |
DBLP DOI BibTeX RDF |
logic synthesis, implication, logic optimization, recursive learning |
| 3 | Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel |
Static logic implication with application to redundancy identification.  |
VTS  |
1997 |
DBLP DOI BibTeX RDF |
static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults |
| 3 | Sha Guo, Wei Sun 0002, Mark Allen Weiss |
Solving Satisfiability and Implication Problems in Database Systems.  |
ACM Trans. Database Syst.  |
1996 |
DBLP DOI BibTeX RDF |
satisfiabilty, reasoning, equivalence, deduction, implication |
| 3 | Matteo Baldoni, Laura Giordano, Alberto Martelli |
Translating a Modal Language with Embedded Implication into Horn Clause Logic.  |
ELP  |
1996 |
DBLP DOI BibTeX RDF |
Multimodal Logic, Embedded Implication, Translation |
| 2 | 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 |
| 2 | K. Subramani, Hong-Jian Lai, Xiaofeng Gu |
Random walks for selected boolean implication and equivalence problems.  |
Acta Inf.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Diego N. Castaño, J. Patricio Díaz Varela |
Conditions for Permutability of Congruences in Implication Algebras.  |
Order  |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06F99, 08B20, 08A30 |
| 2 | Michael Bauland, Edith Hemaspaandra |
Isomorphic Implication.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, Constraints, Propositional logic, Logic in computer science, Isomorphism problem |
| 2 | Wei-Zhi Wu, Peirong Lin |
Topological Spaces for Fuzzy Rough Sets Determined by Fuzzy Implication Operators.  |
FSKD  |
2009 |
DBLP DOI BibTeX RDF |
fuzzy implication operators, rough sets, fuzzy rough sets, topological spaces |
| 2 | Yongquan Wang, Xiaohong Zhang |
Some implication operators on interval sets and rough sets.  |
IEEE ICCI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhan-ao Xue, Xiao-bo Shi, Jian Zou |
A novel method of the Flexible Interval S-Implication.  |
IEEE ICCI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Richard Chbeir, Dominique Laurent |
Towards a novel approach to multimedia data mixed fragmentation.  |
MEDES  |
2009 |
DBLP DOI BibTeX RDF |
multimedia distance, multimedia fragmentation, pre-ordering, query implication, functional dependency, data partition |
| 2 | Sven Hartmann, Sebastian Link |
Efficient reasoning about a robust XML key fragment.  |
ACM Trans. Database Syst.  |
2009 |
DBLP DOI BibTeX RDF |
XML key, reachability, axiomatization, implication, XML data |
| 2 | Jianming Zhan, Wieslaw A. Dudek, Young Bae Jun |
Interval valued (in, in v, q)-fuzzy filters of pseudo BL-algebras.  |
Soft Comput.  |
2009 |
DBLP DOI BibTeX RDF |
Interval valued -fuzzy filter, Implication operator, Fuzzy logic, Filter, Pseudo BL-algebra |
| 2 | Bijan Davvaz |
Fuzzy R -subgroups with thresholds of near-rings and implication operators.  |
Soft Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy point, Near-ring, Fuzzy R-subgroup, (?, ??q)-fuzzy R-subgroup, Fuzzy set, Level set |
| 2 | J. Patricio Díaz Varela |
Free Lukasiewicz implication algebras.  |
Arch. Math. Log.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
| 2 | Jérôme David, Fabrice Guillet, Henri Briand, Régis Gras |
On the use of Implication Intensity for matching ontologies and textual taxonomies.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
association rule, Ontology alignment, ontology matching, interestingness measure |
| 2 | Benoît Vaillant, Stéphane Lallich, Philippe Lenca |
On the behavior of the generalizations of the intensity of implication: A data-driven comparative study.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
Statistical interestingness measures, intensity of implication, generalized measures |
| 2 | Julien Blanchard, Fabrice Guillet, Régis Gras |
Assessing the interestingness of temporal rules with Sequential Implication Intensity.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
Interestingness Measures for Sequential Rules, Rule Significance, Temporal Data Mining, Event Sequences |
| 2 | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
Open Implication.  |
ICALP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Panyong Zhang, Can Ma, Jie Ma, Qiang Li, Dan Meng |
HPPNET: A novel network for HPC and its implication for communication software.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger |
Complexity and Limiting Ratio of Boolean Functions over Implication.  |
MFCS  |
2008 |
DBLP DOI BibTeX RDF |
Implicational formulas, Limiting ratio, Analytic combinatorics, Complexity, Boolean functions, Probability distribution |
| 2 | Xue-fang Wang, Pei-shun Liu |
A Method for Constructing Lattice Implication Algebras on the Interval [0, 1].  |
FSKD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Li Zou, Wenjiang Li, Yang Xu |
Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making.  |
ISNN  |
2008 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making |
| 2 | Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang |
Attribute reduction theory of concept lattice based on decision formal contexts.  |
Science in China Series F: Information Sciences  |
2008 |
DBLP DOI BibTeX RDF |
decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix |
| 2 | Raphaël Couturier |
CHIC: Cohesive Hierarchical Implicative Classification.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
data mining tool, oriented hierarchical tree, similarity tree, CHIC, implication graph |
| 2 | Régis Gras, Pascale Kuntz |
An overview of the Statistical Implicative Analysis (SIA) development.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
quasi-implication, implication intensity, implicative hierarchy, typicality, implicative graph |
| 2 | Ricco Rakotomalala, Alain Morineau |
The TVpercentprinciple for the counterexamples statistic.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
TVpercent, Intensity of implication, Measure, Association rule |
| 2 | Gilbert Ritschard, Vincent Pisetta, Djamel A. Zighed |
Inducing and Evaluating Classification Trees with Statistical Implicative Criteria.  |
Statistical Implicative Analysis  |
2008 |
DBLP DOI BibTeX RDF |
Implication strength, Class assignment, Rule relevance, Profile typicality, Classification tree, Targeting |
| 2 | Margarita Mas, Miquel Monserrat, Joan Torrens, Enric Trillas |
A Survey on Fuzzy Implication Functions.  |
IEEE T. Fuzzy Systems  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Sergei A. Obiedkov, Vincent Duquenne |
Attribute-incremental construction of the canonical implication basis.  |
Ann. Math. Artif. Intell.  |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G10, 06A15, 68W05, 68R05, 68W40 |
| 2 | Sandra Sandri, Christophe Sibertin-Blanc, Vicenç Torra |
A Multicriteria Fuzzy System Using Residuated Implication Operators and Fuzzy Arithmetic.  |
MDAI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jianxin Wang, Xiaoshuang Xu, Jianer Chen |
An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs.  |
TAMC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jean François Djoufak Kengue, Petko Valtchev, Clémentin Tayou Djamégni |
Parallel Computation of Closed Itemsets and Implication Rule Bases.  |
ISPA  |
2007 |
DBLP DOI BibTeX RDF |
Data mining, concept analysis, parallel algorithmic design |
| 2 | Zhudeng Wang |
Decomposability of Implication Operators.  |
KES  |
2007 |
DBLP DOI BibTeX RDF |
direct decomposition, Fuzzy logic, implication, t-norm |
| 2 | Zhudeng Wang |
On the Direct Decomposability of QL-Implication Operators on Product Lattices.  |
FSKD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen |
Fuzzy Implication Methods in Fuzzy Logic.  |
FSKD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yang Xu, Jun Ma, Jiajun Lai |
Sub-algebras of Finite Lattice Implication Algebra.  |
IFSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Eunjin Kim, Ladislav J. Kohout |
Non-commutative System of Fuzzy Interval Logic Generated by the Checklist Paradigm Measure m 3 Containing Early Zadeh Implication.  |
IFSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bogdan Cautis, Serge Abiteboul, Tova Milo |
Reasoning about XML update constraints.  |
PODS  |
2007 |
DBLP DOI BibTeX RDF |
update constraints, XML, data integrity, semi-structured data, implication |
| 2 | Manuel Abad, J. Patricio Díaz Varela |
Representation of Cubic Lattices by Symmetric Implication Algebras.  |
Order  |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B15, 08B26 |
| 2 | J. Patricio Díaz Varela, Antoni Torrens Torrell |
Decomposability of free Lukasiewicz implication algebras.  |
Arch. Math. Log.  |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
| 2 | Jiaxin Han, Huacan He, Yingcang Ma |
Properties and Relations Between Implication Operators.  |
ICIC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Gilbert Ritschard, Djamel A. Zighed |
Implication Strength of Classification Rules.  |
ISMIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Sven Hartmann, Sebastian Link |
Horn clauses and functional dependencies in complex-value databases.  |
ADC  |
2006 |
DBLP DOI BibTeX RDF |
logic in databases, functional dependency, Horn clause, complex values, implication problem |
| 2 | Samir Saad, Joe Tekli, Richard Chbeir, Kokou Yétongnon |
Towards Multimedia Fragmentation.  |
ADBIS  |
2006 |
DBLP DOI BibTeX RDF |
Multimedia fragmentation, Range and KNN operators, predicates implication, objects classification |
| 2 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.  |
FoIKS  |
2006 |
DBLP DOI BibTeX RDF |
Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation |
| 2 | Radim Belohlávek, Vilém Vychodil |
Attribute Implications in a Fuzzy Setting.  |
ICFCA  |
2006 |
DBLP DOI BibTeX RDF |
attribute implication, fuzzy logic, functional dependency, concept lattice |
| 2 | Yi Zhou, Xiaoping Chen |
Toward Formalizing Usefulness in Propositional Language.  |
KSEM  |
2006 |
DBLP DOI BibTeX RDF |
partial implication, probabilistic relevance, Knowledge representation, usefulness |
| 2 | Cungen Cao, Yuefei Sui, Zaiyue Zhang |
The Rough Logic and Roughness of Logical Theories.  |
RSKT  |
2006 |
DBLP DOI BibTeX RDF |
logical theories, refinement, Rough set theory, logical implication |
| 2 | Hongxing Li |
Probability representations of fuzzy systems.  |
Science in China Series F: Information Sciences  |
2006 |
DBLP DOI BibTeX RDF |
fuzzy implication operator, conditional mathematical expectation, CRI method, triple I method, Zadeh distribution, Mamdani distribution, Lukasiewicz distribution, fuzzy system |
| 2 | Franco Montagna, Luca Spada |
Continuous approximations of product implication in MV-algebras with product.  |
Soft Comput.  |
2005 |
DBLP DOI BibTeX RDF |
?-algebras, MV-algebras |
| 2 | Michael Bauland, Edith Hemaspaandra |
Isomorphic Implication.  |
MFCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Zoran Majkic |
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.  |
ISMVL  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song |
Implication of assertion graphs in GSTE.  |
ASP-DAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Yanbin Luo, K. Palaniappan, Yongming Li |
New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition.  |
ICNC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell |
Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies.  |
VLSI Design  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno |
A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II.  |
Canadian Conference on AI  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Michael Thielscher |
Handling Implication and Universal Quantification Constraints in FLUX.  |
CP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Rewriting Union Queries Using Views.  |
Constraints  |
2005 |
DBLP DOI BibTeX RDF |
global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view |
| 2 | Yu Sun, Yuefei Sui, Youming Xia |
Logical Sentences as the Intent of Concepts.  |
J. Comput. Sci. Technol.  |
2005 |
DBLP DOI BibTeX RDF |
pragmatical implication, context, concept, logical implication |
| 2 | J. Balasubramaniam, C. Jagan Mohan Rao |
On the distributivity of implication operators over T and S norms.  |
IEEE T. Fuzzy Systems  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Extraction and Implication of Path Constraints.  |
MFCS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Michiro Kondo |
Characterization Theorem of Lattice Implication Algebra.  |
ISMVL  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Alicja Mieszkowicz-Rolka, Leszek Rolka |
Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model.  |
ICAISC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Fabrice Correia |
Semantics for Analytic Containment.  |
Studia Logica  |
2004 |
DBLP DOI BibTeX RDF |
analytic containment, relevant implication, semantics |
| 2 | Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana |
Fault equivalence identification in combinational circuits using implication and evaluation techniques.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places |
Implication of Functional Dependencies for Recursive Queries.  |
Ershov Memorial Conference  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, Sreejit Chakravarty |
Efficient Implication - Based Untestable Bridge Fault Identifier.  |
VTS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Cheng Zheng, Li Chen |
FCBI: An Efficient User-Friendly Classifier Using Fuzzy Implication Table.  |
ADBIS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Interaction between path and type constraints.  |
ACM Trans. Comput. Log.  |
2003 |
DBLP DOI BibTeX RDF |
types, integrity constraints, semistructured data, implication |
| 2 | Ki-Wook Kim, Taewhan Kim, C. L. Liu, Sung-Mo Kang |
Domino logic synthesis based on implication graph.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Philip W. Tse, Jiming Liu |
Mining Associated Implication Networks: Computational Intermarket Analysis.  |
ICDM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Nicola Fanizzi, Stefano Ferilli |
Minimal Generalizations under OI-Implication.  |
ISMIS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Wenfei Fan, Leonid Libkin |
On XML integrity constraints in the presence of DTDs.  |
J. ACM  |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, Consistency, integrity constraints, DTDs, implication |
| 2 | Vivek Gaur, Vishwani D. Agrawal, Michael L. Bushnell |
A New Transitive Closure Algorithm with Application to Redundancy Identification.  |
DELTA  |
2002 |
DBLP DOI BibTeX RDF |
logic redundancy, partial implications, transitive closure, Implication graph |
| 2 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Programs with Implicit Implications.  |
IEEE Trans. Knowl. Data Eng.  |
2002 |
DBLP DOI BibTeX RDF |
implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics |
| 2 | Verónica Dahl |
On Implicit Meanings.  |
Computational Logic: Logic Programming and Beyond  |
2002 |
DBLP DOI BibTeX RDF |
elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning |
| 2 | Danuta Rutkowska, Robert Nowicki, Yoichi Hayashi |
Parallel Processing by Implication-Based Neuro-Fuzzy Systems.  |
PPAM  |
2001 |
DBLP BibTeX RDF |
|
| 2 | Eyke Hüllermeier |
Implication-Based Fuzzy Association Rules.  |
PKDD  |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1414 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|