|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2193 occurrences of 1163 keywords
|
|
|
Results
Found 10623 publication records. Showing 10623 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Christian Monson, Jaime G. Carbonell, Alon Lavie, Lori S. Levin |
ParaMor: Finding Paradigms across Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Advances in Multilingual and Multimodal Information Retrieval, 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers, pp. 900-907, 2007, Springer, 978-3-540-85759-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unsupervised Natural Language Morphology Induction, Paradigms |
18 | Roman Slowinski, Izabela Szczech, Miroslaw Urbanowicz, Salvatore Greco |
Mining Association Rules with Respect to Support and Anti-support-Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 534-542, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Anti-support, Confirmation, Pareto-optimal border, Association rules, Support, Induction, Confidence |
18 | Pieter W. Adriaans |
Learning as Data Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 11-24, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
learning as compression, two-part code optimization, randomness deficiency, DFA induction, MDL |
18 | Chung-Chian Hsu, Sheng-Hsuan Wang |
An Integrated Framework for Visualized and Exploratory Pattern Discovery in Mixed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(2), pp. 161-173, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data mining, clustering, self-organizing map, pattern discovery, Attribute-oriented induction |
18 | Hung Son Nguyen |
Approximate Boolean Reasoning: Foundations and Applications in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 334-506, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction |
18 | Serge Guillaume, Luis Magdalena |
Expert guided integration of induced knowledge into a fuzzy knowledge base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(9), pp. 773-784, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Rule base fusion, Man machine cooperation, Rule induction, Fuzzy partitioning, Expert knowledge |
18 | Anton Setzer |
Partial Recursive Functions in Martin-Löf Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 505-515, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory |
18 | Wei Li 0022 |
An Inductive Inference System and Its Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 3-17, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inference, induction, Belief, rationality, refutation |
18 | Zhigang Zeng, De-Shuang Huang, Zengfu Wang |
Global Stability of a General Class of Discrete-Time Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 22(1), pp. 33-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
induction principle, delay, recurrent neural networks, discrete-time, global stability |
18 | Maarten Keijzer, Martin Baptist, Vladan Babovic, Javier Rodriguez Uthurburu |
Determining equations for vegetation induced resistance using genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1999-2006, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
equation induction, hydraulics, measurement units, genetic programming, hydrology |
18 | Yasser F. Hassan, Eiichiro Tazaki |
Emergent Rough Set Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 343-362, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
rough sets, reduct, discretization, rule induction, emergent behavior |
18 | Fang Yu 0001, Bow-Yaw Wang |
Toward Unbounded Model Checking for Region Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 20-33, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Region automata, Real-time systems, Model checking, Verification, Induction, BMC |
18 | Jiying Wang, Frederick H. Lochovsky |
Data extraction and label assignment for web databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 187-196, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
automatic wrapper induction, information integration, hidden web, web information extraction, data annotation, HTML forms |
18 | Claudia Perlich, Foster J. Provost |
Aggregation-based feature invention and relational concept classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 167-176, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
aggregation, relational learning, feature construction, constructive induction, propositionalization |
18 | Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002 |
Proof Search and Proof Check for Equational and Inductive Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 297-316, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant |
18 | Kai Ming Ting |
An Instance-Weighting Method to Induce Cost-Sensitive Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(3), pp. 659-665, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
greedy divide-and-conquer algorithm, instance weighting, decision trees, induction, Cost-sensitive |
18 | Murdoch Gabbay, Andrew M. Pitts |
A New Approach to Abstract Syntax with Variable Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 341-363, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction |
18 | Wiphada Wettayaprasit, Chidchanok Lursinsap, Chee-Hung Henry Chu |
Quasi-Morphism and Comprehensibility of Rules in Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada, pp. 337-342, 2002, IEEE Computer Society, 0-7695-1724-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Neural networks, rule-based systems, rule extraction, induction learning |
18 | Marta Z. Kwiatkowska, Gethin Norman |
Verifying Randomized Byzantine Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 194-209, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms |
18 | Zoltán Ésik, Hans Leiß |
Greibach Normal Form in Algebraically Complete Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 135-150, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory |
18 | Arnold Beckmann |
Resolution Refutations and Propositional Proofs with Height-Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 599-612, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus |
18 | Julio Ortega, Moshe Koppel, Shlomo Argamon |
Arbitrating Among Competing Classifiers Using Learned Referees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(4), pp. 470-490, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Bias selection, Integrating multiple models, Decision trees, Constructive induction, Theory revision, Stacked generalization |
18 | Miloslav Nepil |
Learning to Parse from a Treebank: Combining TBL and ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 179-192, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
corpus-based parser construction, transformation-based learning, inductive logic programming, grammar induction |
18 | Jerzy W. Grzymala-Busse, Pankaj Shah |
A Comparison of Rule Matching Methods Used in AQ15 and LERS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 148-156, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
rule truncation, AQ15, LERS, ten-fold cross validation, Wilcoxon matched-pairs signed rank test, rule induction, Knowledge discovery and data mining, classification systems |
18 | Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève |
Predicting class libraries interface evolution: an investigation into machine learning approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 456-464, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
class library interface evolution prediction, object-oriented system evolution management, reusable class libraries, version compatibility, symptomatic instability detection, fuzzy logic-based approach, structural metrics, stability indicators, commercial C++ class libraries, top down induction of decision trees, machine learning, user interfaces, user interface, learning (artificial intelligence), fuzzy logic, object-oriented programming, decision trees, software quality, software metrics, software reusability, pattern classification, Bayes methods, software libraries, software development management, Bayesian classifiers, management of change |
18 | Sholom M. Weiss, Nitin Indurkhya |
Decision-Rule Solutions for Data Mining with Missing Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 1-10, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
decision rule induction, boosting |
18 | A. Prasad Sistla, Viktor Gyuris |
Parameterized Verification of Linear Networks using Automata as Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(4), pp. 402-425, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Safety, Invariants, Automata, Induction, Liveness, Linear networks |
18 | Theodore Hong |
Visualizing Real Estate Property Information on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 182-187, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
web information visualization, database integration, grammar induction, real estate |
18 | Herna L. Viktor, Ian Cloete |
Inductive Learning with a Computational Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 21(2), pp. 131-141, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
induction programs, inductive bias, computational network, diabetes |
18 | KianSing Ng, Huan Liu, HweeBong Kwah |
A Data Mining Application: Customes Retention at the Port of Singapore Authority (PSA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 522-525, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
customer retention, multiple concept-level association rules, decision-tree induction, deviation analysis |
18 | Iztok A. Pilih, Dunja Mladenic, Nada Lavrac, Tine S. Prevec |
Using machine learning for outcome prediction of patients with severe head injury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 200-204, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
outcome prediction, severe head injury, induced decision trees, clinical parameters, brain injury, machine learning, patients, decision tree induction, medical expert systems |
18 | Robert J. Hilderman, Liangchun Li, Howard J. Hamilton |
Data Visualization in the DB-Discover System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 474-477, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
DB-Discover system, research software tool, attribute oriented induction algorithm, climbing tree, dropping condition methods, multi attribute generalization, data visualization capabilities, databases, knowledge discovery, deductive databases, data visualization, KDD |
18 | Yuh-Jyh Hu |
Learning Different Types of New Attributes by Combining the Neural Network and Iterative Attribute Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-97, 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997, Proceedings, pp. 124-137, 1997, Springer, 3-540-62858-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
neural networks, classification, constructive induction |
18 | Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003 |
Inductive Properties of States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 227-235, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
induction, actions, states, automaton, situation calculus |
18 | Dang Van Hung, Ko Kwang Il |
Verification via Digitized Models of Real-Time Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 4-15, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock |
18 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
18 | Francis K. H. Quek, Meide Zhao |
Inductive learning in hand pose recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 2nd International Conference on Automatic Face and Gesture Recognition (FG '96), October 14-16, 1996, Killington, Vermont, USA, pp. 78-87, 1996, IEEE Computer Society, 0-8186-7713-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hand pose recognition, gestural systems, user hand anatomy, perspective effects, rulebase, disjunctive normal form formulae, rule-based induction system, flexible matching, inductive learning, learning by example |
18 | Gérard Pavillon |
Knowledge Discovery from Epidemiological Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings, pp. 201-204, 1996, Springer, 3-540-61057-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Dependence and Causal Relationships, Knowledge Discovery, Induction |
18 | Sergio Antoy, John D. Gannon |
Using Term Rewriting to Verify Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 259-274, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction |
18 | Maurice Pagnucco, Norman Y. Foo |
Inverting Resolution with Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings, pp. 238-253, 1993, Springer, 3-540-56979-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
inverse resolution, machine learning, Inductive inference, constructive induction |
18 | Zohar Manna, Richard J. Waldinger |
Fundamentals of Deductive Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 674-704, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof |
18 | Jinwoo Kim, F. Javier Lerch |
Towards a model of cognitive process in logical design: comparing object-oriented and traditional functional decomposition software methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 489-498, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
mental simulation, object-oriented design, rule induction, functional decomposition |
18 | Gheorghe Tecuci, Ryszard S. Michalski |
Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 419-428, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning |
18 | Karl J. Ottenstein |
A Simplified Framework for Reduction in Strength. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 86-92, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
loop execution, sequential processors, induction variable substitution, register requirements, array dependences, language fragments, iteration test replacement, target code, program compilers, parallelizing compilers, execution time, teaching tool, inverse transformation |
18 | Pierre Jouvelot, Babak Dehbonei |
A unified semantic approach for the vectorization and parallelization of generalized reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 3rd international conference on Supercomputing, ICS 1989, Heraklion, Crete, Greece, June 5-9, 1989, pp. 186-194, 1989, ACM, 0-89791-309-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
parallelization, vectorization, reduction, symbolic evaluation, induction variable |
18 | John Levine, Carl Henrik Westerberg, Michelle Galea, David Humphreys |
Evolutionary-based learning of generalised policies for AI planning domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1195-1202, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
decision list learning, iterative rule learning, rule order optimisation, inductive learning, automated planning |
18 | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
Minimising Decision Tree Size as Combinatorial Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 173-187, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof Dembczynski, Wojciech Kotlowski, Roman Slowinski |
Maximum likelihood rule ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008), Helsinki, Finland, June 5-9, 2008, pp. 224-231, 2008, ACM, 978-1-60558-205-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yanhong Zhai, Bing Liu 0001 |
Extracting Web Data Using Instance-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web (2), pp. 113-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
instance-based learning, web data extraction, web content mining |
18 | Shuguo Han, Wee Keong Ng |
Privacy-Preserving Genetic Algorithms for Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 407-417, 2007, Springer, 978-3-540-74552-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | James Brotherston |
Formalised Inductive Reasoning in the Logic of Bunched Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, pp. 87-103, 2007, Springer, 978-3-540-74060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jia-Ruey Chang, Ching-Tsung Hung, Gwo-Hshiung Tzeng, Shih-Chung Kang 0001 |
Using Rough Set Theory to Induce Pavement Maintenance and Rehabilitation Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 542-549, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pavement management system (PMS), Maintenance and rehabilitation (M&R), Rough set theory (RST) |
18 | Peipeng Liang, Ning Zhong 0001, Jing-Long Wu, Shengfu Lu, Jiming Liu 0001, Yiyu Yao |
Time Dissociative Characteristics of Numerical Inductive Reasoning: Behavioral and ERP Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 873-879, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Javad Safaei, Gholamreza Ghassem-Sani |
Incremental Learning of Planning Operators in Stochastic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, pp. 644-655, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jian Huang, Adrian R. Pearce |
Toward Inductive Logic Programming for Collaborative Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pp. 284-290, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Davide Sangiorgi |
The Bisimulation Proof Method: Enhancements and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 18-19, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mitja Lenic, Peter Kokol, Milan Zorman, Petra Povalej, Bruno Stiglic, Ryuichi Yamamoto |
Improved Knowledge Mining with the Multimethod Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 305-318, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yanhong Zhai, Bing Liu 0001 |
Extracting Web Data Using Instance-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 318-331, 2005, Springer, 3-540-30017-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Sáez |
Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. ![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. 119-131, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Weng-Long Chang, Minyi Guo, Michael (Shan-Hui) Ho, Sien-Tang Tsai |
Communication-Free Data Alignment for Arrays with Exponential References Using Elementary Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings, pp. 454-466, 2005, Springer, 3-540-29769-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Rafal Latkowski, Michal Mikolajczyk |
Data Decomposition and Decision Rule Joining for Classification of Data with Missing Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets I, pp. 299-320, 2004, Springer, 3-540-22374-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger |
The Value Evolution Graph and its Use in Memory Reference Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September - 3 October 2004, Antibes Juan-les-Pins, France, pp. 243-254, 2004, IEEE Computer Society, 0-7695-2229-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Rafal Latkowski, Michal Mikolajczyk |
Data Decomposition and Decision Rule Joining for Classification of Data with Missing Values. ![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. 254-263, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Arnold Beckmann |
Dynamic ordinal analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(4), pp. 303-334, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Guy De Pauw |
Evolutionary Computing as a Tool for Grammar Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, pp. 549-560, 2003, Springer, 3-540-40602-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Donato Malerba, Annalisa Appice, Michelangelo Ceci, Marianna Monopoli |
Trading-Off Local versus Global Effects of Regression Nodes in Model Trees. ![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. 393-402, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Shusaku Tsumoto |
Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Progress in Discovery Science ![In: Progress in Discovery Science, Final Report of the Japanese Discovery Science Project, pp. 543-552, 2002, Springer, 3-540-43338-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Shusaku Tsumoto |
Mining Positive and Negative Knowledge in Clinical Databases Based on Rough Set Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Principles of Data Mining and Knowledge Discovery, 5th European Conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001, Proceedings, pp. 460-471, 2001, Springer, 3-540-42534-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Abhik Roychoudhury, I. V. Ramakrishnan |
Automated Inductive Verification of Parameterized Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 25-37, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Blaz Zupan, Ivan Bratko, Marko Bohanec, Janez Demsar |
Function Decomposition in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Machine Learning and Its Applications ![In: Machine Learning and Its Applications, Advanced Lectures, pp. 71-101, 2001, Springer, 3-540-42490-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Louise A. Dennis, Alan Smaill |
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings, pp. 185-200, 2001, Springer, 3-540-42525-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gilles Dowek |
The Stratified Foundations as a Theory Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 136-150, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Kendall Giles, Kweku-Muata Bryson, Qui Weng |
Comparison of Two Families of Entropy-based Classification Measures with and without Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Vasant Dhar |
A Comparison of GLOWER and other Machine Learning Methods for Investment Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 5, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | James L. Caldwell |
Extracting General Recursive Program Schemes in Nuprl's Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers, pp. 233-244, 2001, Springer, 3-540-43915-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Cécile Canovas-Dumas, Paul Caspi |
A PVS Proof Obligation Generator for Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 179-188, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Masami Hagiya, Koichi Takahashi |
Discovery and Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings, pp. 17-37, 2000, Springer, 3-540-41352-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Ramesh Bharadwaj, Steve Sims |
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 378-394, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | DaeEun Kim, Jaeho Lee |
Handling Continuous-Valued Attributes in Decision Tree with Neural Network Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings, pp. 211-219, 2000, Springer, 3-540-67602-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Georgios Paliouras, Vangelis Karkaletsis, Ion Androutsopoulos, Constantine D. Spyropoulos |
Learning Rules for Large-Vocabulary Word Sense Disambiguation: A Comparison of Various Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Processing ![In: Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings, pp. 383-394, 2000, Springer, 3-540-67605-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jeremy Gow, Alan Bundy, Ian Green |
Extensions to the Estimation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 258-272, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Parosh Aziz Abdulla, Bengt Jonsson 0001 |
On the Existence of Network Invariants for Verifying Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 180-197, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch |
Observational Proofs with Critical Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 38-53, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam |
Automating Proofs of Integrity Constraints in Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 212-222, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Geoffrey I. Webb |
Cost-Sensitive Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 23-34, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Henrik Linnestad, Christian Prehofer, Olav Lysne |
Higher-Order Proof by Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings, pp. 274-285, 1996, Springer, 3-540-62034-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
A Structural Linearization Principle for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 491-504, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Frank Pfenning, Christine Paulin-Mohring |
Inductively Defined Types in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 209-228, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Stephen J. Garland, John V. Guttag |
Inductive Methods for Reasoning about Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 219-228, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Willem P. de Roever |
On Backtracking and Greatest Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings, pp. 412-429, 1977, Springer, 3-540-08342-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Cheng-Wen Cheng, Jonas Rabin |
Synthesis of Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 19(7), pp. 404-406, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Mourad Sellah, Abdellah Kouzou, Mohamed Mounir Rezaoui |
Investigation of SVPWM Based Sliding Mode Control Application on Dual-Star Induction Motor and Dual Open-End Winding Induction Motor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Polytech. Electr. Eng. Comput. Sci. ![In: Period. Polytech. Electr. Eng. Comput. Sci. 66(1), pp. 80-98, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Maxence Grand |
Action Model Learning based on Regular Grammar Induction for AI Planning. (Apprentissage de Modèle d'Actions basé sur l'Induction Grammaticale Régulière pour la Planification en Intelligence Artificielle). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
16 | Lianfang Ma, Jianhui Chen, Ning Zhong 0001 |
Analyzing Neural Correlations Between Numerical Induction and Letter Induction Based on Data-Brain Driven Integration Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI/IAT (Workshop/Special Session) ![In: WI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence, Hybrid Event / Melbourne, VIC, Australia, December 14 - 17, 2021 - Workshop/Special Session, pp. 295-301, 2021, ACM, 978-1-4503-9187-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Patricia Johann, Andrew Polonsky |
Deep Induction: Induction Rules for (Truly) Nested Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 339-358, 2020, Springer, 978-3-030-45230-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Anne-Sophie Milcent |
Les agents virtuels expressifs et leur impact sur l'induction de l'empathie chez l'utilisateur: application au domaine de la formation médicale. (Expressive virtual agents and their impact on the user empathy induction: application to the medical training field). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
16 | Swen Ribeiro |
Induction non-supervisée de schémas d'évènements à partir de textes journalistiques. (Unsupervised event schemas induction from journalistic texts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
16 | Théo Pierron |
Induction Schemes : From Language Separation to Graph Colorings. (Schémas d'induction : from languages separation to graph colorings). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Andrés Perea |
Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 110, pp. 120-138, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jaroslav Chovan, Marián Slodicka |
Induction hardening of steel with restrained Joule heating and nonlinear law for magnetic induction field: Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 311, pp. 630-644, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 10623 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|