Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 172-183, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
12 | Pierre Amiranoff, Albert Cohen 0001, Paul Feautrier |
Beyond Iteration Vectors: Instancewise Relational Abstract Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 161-180, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Seung-Hyun Paek, Yoon-Keun Oh, Do-Hoon Lee |
sIDMG: Small-Size Intrusion Detection Model Generation of Complimenting Decision Tree Classification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers, pp. 83-99, 2006, Springer, 978-3-540-71092-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kerstin Lemke-Rust, Christof Paar |
An Adversarial Model for Fault Analysis Against Low-Cost Cryptographic Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDTC ![In: Fault Diagnosis and Tolerance in Cryptography, Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings, pp. 131-143, 2006, Springer, 3-540-46250-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Tamper-Proof Hardware, Fault Analysis, Physical Security, Adversarial Model, Tampering, Implementation Attack |
12 | Theerayod Wiangtong, P. Dechsuwan |
Unified motor controller based on space vector modulation technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Isabelle Gnaedig, Hélène Kirchner |
Computing constructor forms with non terminating rewrite programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 121-132, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness |
12 | Ming Wu, Delin Xia, Puliu Yan |
Difference Similitude Method in Knowledge Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 430-433, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Shusaku Tsumoto |
Pawlak Rough Set Model, Medical Reasoning and Rule Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings, pp. 53-70, 2006, Springer, 3-540-47693-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Hasan Mehrjerdi, Jamel Ghouili |
Strategies Comparison for Optimization of Multi Objective Function in a Fuel Cell Electrical Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1337-1341, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Flavian Vasile, Adrian Silvescu, Dae-Ki Kang, Vasant G. Honavar |
TRIPPER: Rule Learning Using Taxonomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings, pp. 55-59, 2006, Springer, 3-540-33206-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Rémi Gilleron, Patrick Marty, Marc Tommasi, Fabien Torre |
Interactive Tuples Extraction from Semi-Structured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 997-1004, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Degris, Olivier Sigaud, Pierre-Henri Wuillemin |
Learning the structure of Factored Markov Decision Processes in reinforcement learning problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Third International Conference (ICML 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006, pp. 257-264, 2006, ACM, 1-59593-383-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Christian Sloper, Jan Arne Telle |
Towards a Taxonomy of Techniques for Designing Parameterized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 251-263, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zhao Li, Wee Keong Ng, Aixin Sun |
Web data extraction based on structural similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 8(4), pp. 438-461, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Clustering, Classification, Framework, Web data extraction |
12 | Sarah Jane Delany, Padraig Cunningham, Lorcan Coyle |
An Assessment of Case-Based Reasoning for Spam Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 24(3-4), pp. 359-378, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
case base reasoning, spam filtering |
12 | Chaochang Chiu, Pei-Lun Hsu |
A constraint-based genetic algorithm approach for mining classification rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 35(2), pp. 205-220, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Jan Poland, Marcus Hutter |
Asymptotics of discrete MDL for online prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(11), pp. 3780-3795, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ying Xie, Vijay V. Raghavan 0001 |
A Probabilistic Logic-based Framework for Characterizing Knowledge Discovery in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 87-100, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Tuan-Fang Fan, Duen-Ren Liu, Churn-Jung Liau |
Justification and Hypothesis Selection in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 119-130, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Juan José Rodríguez, Carlos J. Alonso, Oscar J. Prieto |
Bias and Variance of Rotation-Based Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational Intelligence and Bioinspired Systems, 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005, Proceedings, pp. 779-786, 2005, Springer, 3-540-26208-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | João Gama 0001, Pedro Medas, Pedro Pereira Rodrigues |
Learning decision trees from dynamic data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 573-577, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Marlon Núñez, Raúl Fidalgo, Rafael Morales Bueno |
On-Line Learning of Decision Trees in Problems with Unknown Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 443-453, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Martin Scholz |
Sampling-based sequential subgroup mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 265-274, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sampling, prior knowledge, subgroup discovery |
12 | Marina Sapir, David Verbel, Angeliki Kotsianti, Olivier Saidi |
Live LogicTM: Method for Approximate Knowledge Discovery and Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 532-540, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Lee Pike, Steven D. Johnson |
The formal verification of a reintegration protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 286-289, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems |
12 | James Brotherston |
Cyclic Proofs for First-Order Logic with Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 78-92, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yongjian Li |
The Inductive Approach to Strand Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 547-552, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Beatriz de la Iglesia, Alan P. Reynolds, Victor J. Rayward-Smith |
Developments on a Multi-objective Metaheuristic (MOMH) Algorithm for Finding Interesting Sets of Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings, pp. 826-840, 2005, Springer, 3-540-24983-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Jan Suchý, Jirí Kubalík |
Inducing Diverse Decision Forests with Genetic Programing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 8th European Conference, EuroGP2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings, pp. 301-310, 2005, Springer, 3-540-25436-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Seung Yeol Yoo, Achim G. Hoffmann |
Knowledge-Level Management of Web Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings, pp. 597-608, 2005, Springer, 3-540-25207-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Jason Waddle, David A. Wagner 0001 |
Fault Attacks on Dual-Rail Encoded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA, pp. 483-494, 2005, IEEE Computer Society, 0-7695-2461-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Leivant |
Partial Correctness Assertions Provable in Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 304-317, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Erick Cantú-Paz, Shawn D. Newsam, Chandrika Kamath 0001 |
Feature selection in scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 788-793, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
astronomical survey, data mining, feature selection, remote sensing, plasma physics |
12 | Lionel Elie Mamane |
Surreal Numbers in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, pp. 170-185, 2004, Springer, 3-540-31428-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Alejandro Guerra-Hernández, Amal El Fallah Seghrouchni, Henry Soldano |
Distributed Learning in Intentional BDI Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: 5th Mexican International Conference on Computer Science (ENC 2004), 20-24 September 2004, Colima, Mexico, pp. 225-232, 2004, IEEE Computer Society, 0-7695-2160-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger |
Automatic Parallelization Using the Value Evolution Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for High Performance Computing, 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers, pp. 379-393, 2004, Springer, 3-540-28009-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Francesca A. Lisi, Floriana Esposito |
Efficient Evaluation of Candidate Hypotheses in AL-log. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings, pp. 216-233, 2004, Springer, 3-540-22941-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Kwok-Wa Lam, Victor C. S. Lee |
Building Decision Trees Using Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 470-473, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tony Lindgren |
Methods for Rule Conflict Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings, pp. 262-273, 2004, Springer, 3-540-23105-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jacobus van Zyl, Ian Cloete |
Simultaneous Concept Learning of Fuzzy Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings, pp. 548-559, 2004, Springer, 3-540-23105-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Roshni Mohapatra, Kanagasabai Rajaraman, Sam Yuan Sung |
Efficient Wrapper Reinduction from Dynamic Web Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China, pp. 391-397, 2004, IEEE Computer Society, 0-7695-2100-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Leila Shila Shafti, Eduardo Pérez |
Machine Learning by Multi-feature Extraction Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 246-255, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Michaela M. Black, Ray J. Hickey |
Learning classification rules for telecom customer call data under concept drift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(2), pp. 102-108, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Decision trees, User profiling, Concept drift, Adaptive learning |
12 | Lev D. Beklemishev |
Proof-theoretic analysis by iterated reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(6), pp. 515-552, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Deepak Kapur, Nikita A. Sakhanenko |
Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, pp. 136-154, 2003, Springer, 3-540-40664-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | 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 |
|
12 | Andrés Perea |
Rationalizability and minimal complexity in dynamic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 1-14, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Petra Povalej, Mitja Lenic, Milojka Molan Stiglic, Maja Skerbinjek Kavalar, Jernej Zavrsnik, Peter Kokol |
A Journey trough Clinical Applications of Multimethod Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings, pp. 249-253, 2003, Springer, 3-540-20129-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ying Xie, Vijay V. Raghavan 0001 |
A Theoretical Framework for Knowledge Discovery in Databases Based on Probabilistic Logic. ![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. 541-548, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | 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 |
|
12 | Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski |
Fuzzy Rough Sets and Multiple-Premise Gradual Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers, pp. 148-163, 2003, Springer, 3-540-31019-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jürgen Giesl, Armin Kühnemann, Janis Voigtländer |
Deaccumulation - Improving Provability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 146-160, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Angela Y. N. Yip, Hepu Deng |
A Case-Based Reasoning Approach to Business Failure Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 1075-1080, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | E. V. Krishnamurthy |
Problems and Prospects for Quantum Computational Speed-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IV, pp. 779-788, 2003, Springer, 3-540-40197-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Kristoffer Jensen, Tue Haste Andersen |
Real-Time Beat Estimation Using Feature Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval, International Symposium, CMMR 2003,Montpellier, France, May 26-27, 2003, Revised Papers, pp. 13-22, 2003, Springer, 3-540-20922-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky |
An Equational Theory for Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 38-49, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Rattikorn Hewett, John H. Leuchner |
Knowledge Discovery with Second-Order Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 4(4), pp. 413-439, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean function minimization, Data mining, Machine learning, Database theory |
12 | 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 |
|
12 | Gilles Barthe, Pierre Courtieu |
Efficient Reasoning about Executable Specifications in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 31-46, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Amy P. Felty |
Two-Level Meta-reasoning in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 198-213, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | 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 |
|
12 | Brendon Cahoon, Kathryn S. McKinley |
Simple and effective array prefetching in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 86-95, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
array prefetching, Java, static analysis, memory optimization |
12 | Marina Guetova, Steffen Hölldobler, Hans-Peter Störr |
Incremental Fuzzy Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 67-81, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
classification, fuzzy logic, decision trees, incremental learning |
12 | Max Bramer |
Using J-Pruning to Reduce Overfitting of Classification Rules in Noisy Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 433-442, 2002, Springer, 3-540-44126-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Petra Perner, Horst Perner, Bernd Müller |
Texture Classification Based on the Boolean Model and its Application to Hep-2 Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 406-409, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Vili Podgorelec, Peter Kokol, Milojka Molan Stiglic |
Searching for ew Patterns in Cardiovascular Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 4-7 June 2002, Maribor, Slovenia, pp. 111-116, 2002, IEEE Computer Society, 0-7695-1614-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Lawrence C. Paulson |
The Reflection Theorem: A Study in Meta-theoretic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 377-391, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Kalyani K. Manchi, Xindong Wu 0001 |
Dynamic Refinement of Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 189-, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jürgen Zimmer, Louise A. Dennis |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 319-331, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jun (Jim) Xu |
A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus - An Oracle-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 102-108, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
uniform consensus, fault tolerance, lower bounds, Consensus |
12 | Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe |
Melanoma Prediction Using Data Mining System LERS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 615-620, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Melanoma, skin cancer, ABCD formula, TDS, data mining system LERS, algorithm LEM2 |
12 | R. Narayanan, S. Neethi |
Building Software Engineering Professionals: TCS Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 14th Conference on Software Engineering Education and Training, 19-21 February 2001, Charlotte, North Carolina, USA, pp. 162-171, 2001, IEEE Computer Society, 0-7695-1059-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Andrew M. Pitts |
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 1, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Smaranda Muresan, Tudor Muresan, Rodica Potolea |
Data Flow Coherence Criteria in ILP Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 179-186, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Data Flow Coherence Criteria, Pruning the Search Space, Inductive Logic Programming, Automatic Program Generation |
12 | Laurent Perrussel, Pierre-Jean Charrel |
Inconsistent Requirements: An Argumentation View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 79-86, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction |
12 | Michaël Rusinowitch |
Rewriting for Deduction and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 2, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Santiago Ontañón, Enric Plaza |
Learning When to Collaborate among Learning Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, pp. 394-405, 2001, Springer, 3-540-42536-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Jinyan Li 0001, Kotagiri Ramamohanarao, Guozhu Dong |
Combining the Strength of Pattern Frequency and Distance for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings, pp. 455-466, 2001, Springer, 3-540-41910-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
neighbourhood, classification, outlier, emerging patterns |
12 | Takuya Wada, Hiroshi Motoda, Takashi Washio |
Knowledge Acquisition from Both Human Expert and Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings, pp. 550-561, 2001, Springer, 3-540-41910-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Baaz, Georg Moser |
On a Generalisation of Herbrand's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 469-483, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Luigi Galavotti, Fabrizio Sebastiani 0001, Maria Simi |
Experiments on the Use of Feature Selection and Negative Evidence in Automated Text Categorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000, Proceedings, pp. 59-68, 2000, Springer, 3-540-41023-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Conor McBride |
Elimination with a Motive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 197-216, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Jeff Bowes, Eric Neufeld, Jim E. Greer, John Cooke |
A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 326-336, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Konrad Slind |
Wellfounded Schematic Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 45-63, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | David A. Duffy, Ian Toyn |
Reasoning Inductively about Z Specifications via Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 75-94, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Hsiangchu Lai, Tzyy-Ching Yang |
A Group-based Inference Approach to Customized Marketing on the Web - Integrating Clustering and Association Rules Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Regis Pinheiro Landim, Benjamin Rodrigues de Menezes, Selênio R. Silva, Walmir M. Caminhas |
On-Line Neo-Fuzzy-Neuron State Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 6th Brazilian Symposium on Neural Networks (SBRN 2000), 22-25 November 2000, Rio de Janiero, Brazil, pp. 196-201, 2000, IEEE Computer Society, 0-7695-0856-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Henk Doornbos, Roland Carl Backhouse |
Algebra of Program Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 203-236, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Fiora Pirri, Raymond Reiter |
Some Contributions to the Metatheory of the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(3), pp. 325-361, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
programming languages for the situation calculus, theorem-proving, regression, situation calculus |
12 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 301-315, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Alípio Jorge, Alneu de Andrade Lopes |
Iterative Part-of-Speech Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Learning Language in Logic ![In: Learning Language in Logic, pp. 170-183, 1999, Springer, 3-540-41145-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Tapio Elomaa |
The Biases of Decision Tree Pruning Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 63-74, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Laura Firoiu, Paul R. Cohen |
Learning Elements of Representations for Redescribing Robot Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 99-110, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios Kalles, Athanassios Papagelis |
Controlled Flux Results in Stable Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 287-, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
stability, decision tree, incremental learning, speed-up |
12 | Nada Lavrac, Peter A. Flach, Blaz Zupan |
Rule Evaluation Measures: A Unifying View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 174-185, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | 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 |
|
12 | Honghua Dai 0001 |
A Minimal Causal Model Learner. ![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. 400-408, 1999, Springer, 3-540-65866-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
causal discovery, data mining, machine learning, artificial intelligence, knowledge acquisition, Minimal model |
12 | Thorsten Altenkirch, Bernhard Reus |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 453-468, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
inductive types, Type Theory, category theory, ?-calculus |
12 | Thierry Coquand, Henrik Persson |
Gröbner Bases in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 33-46, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Emmanuelle Martienne, Mohamed Quafafou |
Learning Logical Descriptions for Document Understanding: A Rough Sets-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings, pp. 202-209, 1998, Springer, 3-540-64655-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|