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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 218-222, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
51 | A. F. R. Brown |
Language Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 5(1), pp. 1-8, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
47 | Alfons Geser |
Loops of Superexponential Lengths in One-Rule String Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 267-280, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada, pp. 564-569, 2002, ACM, 1-58113-567-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 338-352, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 410-423, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
21 | Gisele L. Pappa, Alex Alves Freitas |
Discovering New Rule Induction Algorithms with Grammar-based Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing for Knowledge Discovery and Data Mining ![In: Soft Computing for Knowledge Discovery and Data Mining, pp. 133-152, 2008, Springer, 978-0-387-69934-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Bilal Alatas, Erhan Akin |
Mining Fuzzy Classification Rules Using an Artificial Immune System with Boosting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings, pp. 283-293, 2005, Springer, 3-540-28585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Elena Baralis, Jennifer Widom |
An algebraic approach to static analysis of active database rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 25(3), pp. 269-332, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(5), pp. 467-479, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.06073, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Web and Internet Economics - 16th International Conference, WINE 2020, Beijing, China, December 7-11, 2020, Proceedings, pp. 370-383, 2020, Springer, 978-3-030-64945-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Winfried Kurth |
One-Rule Semi-Thue Systems with Loops of Length One, Two or Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 30(5), pp. 415-429, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Géraud Sénizergues |
On the Termination Problem for One-Rule Semi-Thue System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 302-316, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 262-270, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Qianxiang Wang |
Towards a rule model for self-adaptive software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(1), pp. 8, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 380-394, 2002, Springer, 3-540-00170-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Sanjiv Ranjan |
MTEEP: mechanical transmission element expert system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 206-213, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Michel Latteux, Yves Roos |
On rationally controlled one-rule insertion systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 56, pp. 8, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Arthur Adinayev, Itamar Stein |
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 178(3), pp. 173-185, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Viktor Shynkarenko, Artem Zhadan |
Modeling of the Deterministic Fractal Time Series by One Rule Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (1) ![In: IEEE 15th International Conference on Computer Sciences and Information Technologies, CSIT 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 1, pp. 336-339, 2020, IEEE, 978-1-7281-7443-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Michel Latteux, Yves Roos |
On prefixal one-rule string rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 795, pp. 240-256, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Arthur Adinayev, Itamar Stein |
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.02644, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 13(9), pp. 422-429, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Michel Latteux, Yves Roos |
A canonical automaton for one-rule length-preserving string rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 244, pp. 203-228, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Michel Latteux, Yves Roos |
One-Rule Length-Preserving Rewrite Systems and Rational Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 48(2), pp. 149-171, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Michel Latteux, Yves Roos |
On One-Rule Grid Semi-Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 116(1-4), pp. 189-204, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Jae Kyun Shin |
Identifying Patterns from One-Rule-Firing Cellular Automata . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life ![In: Artif. Life 17(1), pp. 21-32, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 6(8), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Jaekyun Shin |
Atlas of Patterns from One-rule Firing Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, ALIFE 2010, Odense, Denmark, August 19-23, 2010, pp. 421-428, 2010, MIT Press, 9780262290753. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Niklas Lavesson, Paul Davidsson |
AMORI: A Metric-Based One Rule Inducer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the SIAM International Conference on Data Mining, SDM 2009, April 30 - May 2, 2009, Sparks, Nevada, USA, pp. 930-941, 2009, SIAM, 978-0-89871-682-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 3(5), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 3(5), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Processing ![In: Medical Imaging 2003: Image Processing, San Diego, California, United States, 15-20 February 2003, 2003, SPIE, 9780819448330. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Yuji Kobayashi, Masashi Katsura, Kayoko Shikishima-Tsuji |
Termination and derivational complexity of confluent one-rule string-rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 262(1), pp. 583-632, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Alfons Geser |
On normalizing, non-terminating one-rule string rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 243(1-2), pp. 489-498, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Kayoko Shikishima-Tsuji, Masashi Katsura, Yuji Kobayashi |
On Termination of Confluent One-Rule String-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 61(2), pp. 91-96, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Friedrich Otto |
On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 28(4), pp. 363-384, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Celia Wrathall, Volker Diekert |
On Confluence of One-Rule Trace-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 28(4), pp. 341-361, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Pierre Lescanne |
On Termination of One Rule Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 132(2), pp. 395-401, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Celia Wrathall, Volker Diekert, Friedrich Otto |
One-Rule Trace-Rewriting Systems and Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings, pp. 511-521, 1992, Springer, 3-540-55808-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Celia Wrathall |
Confluence of One-Rule Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWWERT ![In: Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings, pp. 237-246, 1990, Springer, 3-540-55124-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Jantzen |
A Note on a Special One-Rule Semi-Thue System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 21(3), pp. 135-140, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Ronald V. Book, Craig C. Squier |
Almost all one-rule thue systems have decidable word problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 49(3), pp. 237-240, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Athanasios Papoulis |
The two-to-one rule in data smoothing (Corresp.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 23(5), pp. 631-633, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
12 | Erzsébet Csuhaj-Varjú, Jürgen Dassow |
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Is Forever ![In: Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, pp. 49-59, 2004, Springer, 3-540-22393-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Mohamed G. Gouda, Alex X. Liu |
Firewall Design: Consistency, Completeness, and Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 320-327, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto |
Mining Multi-level Diagnostic Process Rules from Clinical Databases Using Rough Sets and Medical Diagnostic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 362-369, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto |
Mining Hierarchical Decision Rules from Clinical Databases Using Rough Sets aaand Medical Diagnostic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Principles of Data Mining and Knowledge Discovery, 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings, pp. 423-434, 2002, Springer, 3-540-44037-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto |
Automated Discovery of Decision Rule Chains Using Rough Sets and Medical Diagnostic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 321-332, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto |
Automated Discovery of Plausible Rules Based on Rough Sets and Rough Inclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Methodologies for Knowledge Discovery and Data Mining, Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26-28, 1999, Proceedings, pp. 210-219, 1999, Springer, 3-540-65866-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto, Shoji Hirano |
Visualization of Similarities and Dissimilarities in Rules Using Multidimensional Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 38-46, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Shoji Hirano, Shusaku Tsumoto |
Detection of Differences between Syntactic and Semantic Similarities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 529-538, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto, Shoji Hirano |
Visualization of Rule's Similarity using Multidimensional Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 339-346, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shusaku Tsumoto |
Extracting Structure of Medical Diagnosis: Rough Set Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 78-88, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | John K. Debenham |
Why Use a Unified Knowledge Representation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 51-60, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Sin Yeung Lee, Tok Wang Ling |
Refined Termination Decision in Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 182-191, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
9 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 152-170, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
7 | Jon Sneyers |
Turing-Complete Subclasses of CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 759-763, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Sylvain Lippi |
The graphical Krivine machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 295-318, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2003, 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings, pp. 459-470, 2003, Springer, 3-540-20085-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Shusaku Tsumoto, Shoji Hirano |
Pattern Discovery based on Rule Induction and Taxonomy Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 661-664, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Aart Middeldorp, Bernhard Gramlich |
Simple Termination is Difficult. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 228-242, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
6 | Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin |
Formal correctness of conflict detection for firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007, pp. 22-30, 2007, ACM, 978-1-59593-887-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
firewall, coq |
6 | Luciano Sánchez, José Otero |
Learning Fuzzy Linguistic Models from Low Quality Data by Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I, pp. 622-630, 2003, Springer, 3-540-40210-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, pp. 670-677, 2003, Springer, 3-540-40408-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Yuli Zhou, Meichun Hsu |
A Theory for Rule Triggering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 407-421, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
6 | Eric Martin 0002, Jean Sallantin |
A Dialectic Approach to Problem-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009, pp. 417-424, 2009, Springer, 978-3-642-04746-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Rudolf Freund |
Asynchronous P Systems and P Systems Working in the Sequential Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers, pp. 36-62, 2004, Springer, 3-540-25080-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
Machine Learning Biochemical Networks from Temporal Logic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology VI, pp. 68-94, 2006, Springer, 3-540-45779-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
4 | Adriana Schulz, Marcelo Cicconet, Luiz Velho 0001 |
Motion scoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2010, Los Angeles, California, USA, July 26-30, 2010, Poster Proceedings, pp. 13:1, 2010, ACM, 978-1-4503-0393-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 4(3), pp. 156-170, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(4), pp. 434-447, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Applied Soft Computing Technologies: The Challenge of Complexity, Proceedings of the 9th Online World Conference on Soft Computing in Industrial Applications (WSC9), September 20th - October 8th, 2004, held on the World Wide Web, pp. 569-580, 2004, Springer, 978-3-540-31649-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Henrik Boström |
Induction of Recursive Transfer Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Learning Language in Logic ![In: Learning Language in Logic, pp. 237-246, 1999, Springer, 3-540-41145-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
3 | Alexander Okhotin, Christian Reitwießner |
Conjunctive Grammars with Restricted Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 425-436, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
3 | Marc Plantevit, Anne Laurent, Maguelonne Teisseire |
Up and Down: Mining Multidimensional Sequential Patterns Using Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 10th International Conference, DaWaK 2008, Turin, Italy, September 2-5, 2008, Proceedings, pp. 156-165, 2008, Springer, 978-3-540-85835-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
3 | Shu-Ching Chen, Mei-Ling Shyu, Min Chen 0009 |
An Effective Multi-concept Classifier for Video Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), August 4-7, 2008, Santa Clara, California, USA, pp. 80-87, 2008, IEEE Computer Society, 978-0-7695-3279-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
3 | Estevam R. Hruschka Jr., Eduardo R. Hruschka, Nelson F. F. Ebecken |
Bayesian networks for imputation in classification problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 29(3), pp. 231-252, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 96(6), pp. 615-623, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
3 | Tinghuai Ma, Meili Tang |
Weighted Rough Set Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 481-485, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 217-225, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 383-398, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
3 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of 0p 1q-> 1r 0s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(1), pp. 1-25, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 478-487, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
3 | Pedro A. de Matos, João P. Martins |
Contextual Logic of Change and Contextual Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 153-159, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
3 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of Op 1q -> 1r Os. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 41-55, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simple termination, transformation ordering, dummy elimination, derivation length, termination, term rewriting, string rewriting |
3 | Jussi Rintanen |
Prioritized Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 232-246, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
3 | Loong Cheong Tong |
A data-driven control strategy for grammar writing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 4(4), pp. 281-297, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 225-241, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
3 | Volker Diekert |
On the Knuth-Bendix Completion for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 42-53, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
3 | Mads Dam, Frank Jensen |
Compiler Generation from Relational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 1-29, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|