| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 138 | Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz |
Some techniques for minimizing and optimizing the rule base of an expert system.  |
ACM Conference on Computer Science  |
1988 |
DBLP DOI BibTeX RDF |
|
| 51 | A. F. R. Brown |
Language Translation. |
J. ACM |
1958 |
DBLP DOI BibTeX RDF |
|
| 47 | Alfons Geser |
Loops of Superexponential Lengths in One-Rule String Rewriting. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
uniform termination, one-rule, single-rule Submission category: Regular research paper, termination, loop, string rewriting, semi-Thue system |
| 42 | Jiuyong Li, Rodney W. Topor, Hong Shen 0001 |
Construct robust rule sets for classification. |
KDD |
2002 |
DBLP DOI BibTeX RDF |
data mining, association rule, classification rule |
| 40 | Wojciech Moczydlowski, Alfons Geser |
Termination of Single-Threaded One-Rule Semi-Thue Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
uniform termination, one-rule, single-rule, single-threaded, well-behaved, termination, string rewriting, semi-Thue system |
| 35 | Alfons Geser |
Termination of String Rewriting Rules That Have One Pair of Overlaps. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
one-rule, single-rule, uniform termination, termination, overlap, string rewriting, semi-Thue system |
| 29 | Michael L. Overton |
Numerical computing with IEEE floating point arithmetic - including one theorem, one rule of thumb, and one hundred and one exercices. |
|
2001 |
RDF |
|
| 21 | Gisele L. Pappa, Alex Alves Freitas |
Discovering New Rule Induction Algorithms with Grammar-based Genetic Programming. |
Soft Computing for Knowledge Discovery and Data Mining |
2008 |
DBLP DOI BibTeX RDF |
|
| 21 | Bilal Alatas, Erhan Akin |
Mining Fuzzy Classification Rules Using an Artificial Immune System with Boosting. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 21 | Elena Baralis, Jennifer Widom |
An algebraic approach to static analysis of active database rules. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
database rule processing, database trigger processing, SQL, termination, confluence, active database systems |
| 19 | Luciano Sánchez, José Otero, Inés Couso |
Obtaining linguistic fuzzy rule-based regression models from imprecise data with multiobjective genetic algorithms. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 19 | Daniel Halpern 0002, Ariel D. Procaccia, Alexandros Psomas 0001, Nisarg Shah 0001 |
Fair Division with Binary Valuations: One Rule to Rule Them All. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 19 | Daniel Halpern 0002, Ariel D. Procaccia, Alexandros Psomas 0001, Nisarg Shah 0001 |
Fair Division with Binary Valuations: One Rule to Rule Them All. |
WINE |
2020 |
DBLP DOI BibTeX RDF |
|
| 18 | Winfried Kurth |
One-Rule Semi-Thue Systems with Loops of Length One, Two or Three. |
RAIRO Theor. Informatics Appl. |
1996 |
DBLP DOI BibTeX RDF |
|
| 16 | Géraud Sénizergues |
On the Termination Problem for One-Rule Semi-Thue System. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
rational monoid, automatic structure, termination, finite automata, semi-Thue systems |
| 16 | Max Dauchet |
Termination of Rewriting is Undecidable in the One-Rule Case. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
| 13 | Qianxiang Wang |
Towards a rule model for self-adaptive software. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
rule model, self-adaptive software |
| 13 | Dietrich Braess, Jürgen Forster, Tomas Sauer, Hans Ulrich Simon |
How to Achieve Minimax Expected Kullback-Leibler Distance from an Unknown Finite Distribution. |
ALT |
2002 |
DBLP DOI BibTeX RDF |
|
| 13 | Sanjiv Ranjan |
MTEEP: mechanical transmission element expert system. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
| 12 | Michel Latteux, Yves Roos |
On rationally controlled one-rule insertion systems. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
| 12 | Arthur Adinayev, Itamar Stein |
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 12 | Viktor Shynkarenko, Artem Zhadan |
Modeling of the Deterministic Fractal Time Series by One Rule Constructors. |
CSIT (1) |
2020 |
DBLP DOI BibTeX RDF |
|
| 12 | Michel Latteux, Yves Roos |
On prefixal one-rule string rewrite systems. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 12 | Arthur Adinayev, Itamar Stein |
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 12 | Lock Siew Han, Mohd Jan Nordin |
Integrated Multiple Linear Regression-One Rule Classification Model for the Prediction of Stock Price Trend. |
J. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
| 12 | Michel Latteux, Yves Roos |
A canonical automaton for one-rule length-preserving string rewrite systems. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 12 | Michel Latteux, Yves Roos |
One-Rule Length-Preserving Rewrite Systems and Rational Transductions. |
RAIRO Theor. Informatics Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Michel Latteux, Yves Roos |
On One-Rule Grid Semi-Thue Systems. |
Fundam. Informaticae |
2012 |
DBLP DOI BibTeX RDF |
|
| 12 | Jae Kyun Shin |
Identifying Patterns from One-Rule-Firing Cellular Automata . |
Artif. Life |
2011 |
DBLP DOI BibTeX RDF |
|
| 12 | Hermann Cuntz, Friedrich Forstner, Alexander Borst, Michael Häusser |
One Rule to Grow Them All: A General Theory of Neuronal Branching and Its Practical Application. |
PLoS Comput. Biol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 12 | Jaekyun Shin |
Atlas of Patterns from One-rule Firing Cellular Automata. |
ALIFE |
2010 |
DBLP BibTeX RDF |
|
| 12 | Niklas Lavesson, Paul Davidsson |
AMORI: A Metric-Based One Rule Inducer. |
SDM |
2009 |
DBLP DOI BibTeX RDF |
|
| 12 | Mark Patterson, Barbara Cohen |
"Simple Rules for Editors"? Here Is One Rule to Tackle Neglected Problems of Publishing: Response from PLoS. |
PLoS Comput. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 12 | Thomas C. Erren, Michael Erren |
"Simple Rules for Editors"? Here is One Rule to Tackle Neglected Problems of Publishing. |
PLoS Comput. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 12 | Mohammad Sabati, Maitham Sabati, S. Abdolkarim Hosseini Ravandi, Richard Frayne |
Impulse noise reduction in MR images using one rule-base merging method of fuzzy weighted mean filters. |
Medical Imaging: Image Processing |
2003 |
DBLP DOI BibTeX RDF |
|
| 12 | Yuji Kobayashi, Masashi Katsura, Kayoko Shikishima-Tsuji |
Termination and derivational complexity of confluent one-rule string-rewriting systems. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 12 | Alfons Geser |
On normalizing, non-terminating one-rule string rewriting systems. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 12 | Kayoko Shikishima-Tsuji, Masashi Katsura, Yuji Kobayashi |
On Termination of Confluent One-Rule String-Rewriting Systems. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
| 12 | Friedrich Otto |
On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems. |
Math. Syst. Theory |
1995 |
DBLP DOI BibTeX RDF |
|
| 12 | Celia Wrathall, Volker Diekert |
On Confluence of One-Rule Trace-Rewriting Systems. |
Math. Syst. Theory |
1995 |
DBLP DOI BibTeX RDF |
|
| 12 | Pierre Lescanne |
On Termination of One Rule Rewrite Systems. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 12 | Celia Wrathall, Volker Diekert, Friedrich Otto |
One-Rule Trace-Rewriting Systems and Confluence. |
MFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 12 | Celia Wrathall |
Confluence of One-Rule Thue Systems. |
IWWERT |
1990 |
DBLP DOI BibTeX RDF |
|
| 12 | Matthias Jantzen |
A Note on a Special One-Rule Semi-Thue System. |
Inf. Process. Lett. |
1985 |
DBLP DOI BibTeX RDF |
|
| 12 | Ronald V. Book, Craig C. Squier |
Almost all one-rule thue systems have decidable word problems. |
Discret. Math. |
1984 |
DBLP DOI BibTeX RDF |
|
| 12 | Athanasios Papoulis |
The two-to-one rule in data smoothing (Corresp.). |
IEEE Trans. Inf. Theory |
1977 |
DBLP DOI BibTeX RDF |
|
| 12 | Erzsébet Csuhaj-Varjú, Jürgen Dassow |
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 11 | Mohamed G. Gouda, Alex X. Liu |
Firewall Design: Consistency, Completeness, and Compactness. |
ICDCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto |
Mining Multi-level Diagnostic Process Rules from Clinical Databases Using Rough Sets and Medical Diagnostic Model. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto |
Mining Hierarchical Decision Rules from Clinical Databases Using Rough Sets aaand Medical Diagnostic Model. |
PKDD |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto |
Automated Discovery of Decision Rule Chains Using Rough Sets and Medical Diagnostic Model. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto |
Automated Discovery of Plausible Rules Based on Rough Sets and Rough Inclusion. |
PAKDD |
1999 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto, Shoji Hirano |
Visualization of Similarities and Dissimilarities in Rules Using Multidimensional Scaling. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 10 | Shoji Hirano, Shusaku Tsumoto |
Detection of Differences between Syntactic and Semantic Similarities. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto, Shoji Hirano |
Visualization of Rule's Similarity using Multidimensional Scaling. |
ICDM |
2003 |
DBLP DOI BibTeX RDF |
|
| 10 | Shusaku Tsumoto |
Extracting Structure of Medical Diagnosis: Rough Set Approach. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
|
| 9 | John K. Debenham |
Why Use a Unified Knowledge Representation? |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
| 9 | Sin Yeung Lee, Tok Wang Ling |
Refined Termination Decision in Active Databases. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
| 9 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
| 7 | Jon Sneyers |
Turing-Complete Subclasses of CHR. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 7 | Sylvain Lippi |
The graphical Krivine machine. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Interaction nets, Sharing-graphs, Distributed computation, Linear logic, Rewriting, ?-calculus |
| 7 | Shusaku Tsumoto |
Mining Rules of Multi-level Diagnostic Procedure from Databases. |
PKDD |
2003 |
DBLP DOI BibTeX RDF |
|
| 7 | Shusaku Tsumoto, Shoji Hirano |
Pattern Discovery based on Rule Induction and Taxonomy Generation. |
ICDM |
2003 |
DBLP DOI BibTeX RDF |
|
| 7 | Aart Middeldorp, Bernhard Gramlich |
Simple Termination is Difficult. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 6 | Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin |
Formal correctness of conflict detection for firewalls. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
firewall, coq |
| 6 | Luciano Sánchez, José Otero |
Learning Fuzzy Linguistic Models from Low Quality Data by Genetic Algorithms. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
| 6 | Carlos Hernández-Espinosa, Mercedes Fernández-Redondo, Mamen Ortiz-Gómez |
Rule Extraction from a Multilayer Feedforward Trained Network via Interval Arithmetic Inversion. |
IWANN (1) |
2003 |
DBLP DOI BibTeX RDF |
|
| 6 | Carlos Hernández-Espinosa, Mercedes Fernández-Redondo, Mamen Ortiz-Gómez |
Inversion of a Neural Network via Interval Arithmetic for Rule Extraction. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
| 6 | Yuli Zhou, Meichun Hsu |
A Theory for Rule Triggering Systems. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
| 6 | Eric Martin 0002, Jean Sallantin |
A Dialectic Approach to Problem-Solving. |
Discovery Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 5 | Rudolf Freund |
Asynchronous P Systems and P Systems Working in the Sequential Mode. |
Workshop on Membrane Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 5 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
Machine Learning Biochemical Networks from Temporal Logic Properties. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 4 | Adriana Schulz, Marcelo Cicconet, Luiz Velho 0001 |
Motion scoring. |
SIGGRAPH Posters |
2010 |
DBLP DOI BibTeX RDF |
|
| 4 | Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera |
Reasoning with advanced policy rules and its application to access control. |
Int. J. Digit. Libr. |
2004 |
DBLP DOI BibTeX RDF |
Policy rule evaluation, Access control, Policies, Provisions, Obligations |
| 4 | Vassilios S. Verykios, Ahmed K. Elmagarmid, Elisa Bertino, Yücel Saygin, Elena Dasseni |
Association Rule Hiding. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
sensitive rule hiding, association rule mining, Privacy preserving data mining |
| 4 | Otacílio M. Almeida, Laurinda Lucia N. Reis, Luis Daniel S. Bezerra, Sanderson Emanuel U. Lima |
A MIMO Fuzzy Logic Autotuning PID Controller: Method and Application. |
WSC |
2004 |
DBLP DOI BibTeX RDF |
|
| 4 | Henrik Boström |
Induction of Recursive Transfer Rules. |
Learning Language in Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 3 | Alexander Okhotin, Christian Reitwießner |
Conjunctive Grammars with Restricted Disjunction. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Marc Plantevit, Anne Laurent, Maguelonne Teisseire |
Up and Down: Mining Multidimensional Sequential Patterns Using Hierarchies. |
DaWaK |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | Shu-Ching Chen, Mei-Ling Shyu, Min Chen 0009 |
An Effective Multi-concept Classifier for Video Streams. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | Estevam R. Hruschka Jr., Eduardo R. Hruschka, Nelson F. F. Ebecken |
Bayesian networks for imputation in classification problems. |
J. Intell. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Bayesian networks, Missing values |
| 3 | Dominic I. Standage, Sajiya Jalil, Thomas Trappenberg |
Computational consequences of experimentally derived spike-time and weight dependent plasticity rules. |
Biol. Cybern. |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | Tinghuai Ma, Meili Tang |
Weighted Rough Set Model. |
ISDA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Alpana Dubey, Sanjeev Kumar Aggarwal, Pankaj Jalote |
A Technique for Extracting Keyword Based Rules from a Set of Programs. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 3 | Andrea Corradini 0001, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001 |
Translating Java Code to Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 3 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of 0p 1q-> 1r 0s. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Simple termination, Transformation ordering, Dummy elimination, Derivation length, Termination, Term rewriting, String rewriting |
| 3 | Issam Abbas, Omar Boucelma |
A Framework for Algebraic Optimization of Object-Oriented Query Languages. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
| 3 | Pedro A. de Matos, João P. Martins |
Contextual Logic of Change and Contextual Proofs. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
| 3 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of Op 1q -> 1r Os. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
simple termination, transformation ordering, dummy elimination, derivation length, termination, term rewriting, string rewriting |
| 3 | Jussi Rintanen |
Prioritized Autoepistemic Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
| 3 | Loong Cheong Tong |
A data-driven control strategy for grammar writing systems. |
Mach. Transl. |
1990 |
DBLP DOI BibTeX RDF |
grammar partitioning, grammar writing system, Malay production systems, rules interaction, control strategy |
| 3 | Alexander Leitsch |
Deciding Horn Classes by Hyperresolution. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|
| 3 | Volker Diekert |
On the Knuth-Bendix Completion for Concurrent Processes. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
| 3 | Mads Dam, Frank Jensen |
Compiler Generation from Relational Semantics. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license