Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
generalization processing » generalisation processes, generalization properties, generalization pressure
inductive generalization » induction generalization, introduction generalization, negative generalizations
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
constructive https » construction https, constructive type, constructive help
generalization processing » generalisation processes, generalization properties, generalization pressure
inductive generalization » induction generalization, introduction generalization, negative generalizations
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
constructive https » construction https, constructive type, constructive help
1
Published 2015
Table of Contents:
“... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... at Work -- Elimination Techniques for Program Analysis -- Narrowing Based Inductive Proof Search -- Inst...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“..., and Perception in Type Theory with Records -- Probabilistic Grammar Induction in an Incremental Semantic...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for CDCL SAT Solvers -- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
8
Table of Contents:
“...: Origins of an Urban Teacher Residency -- Constructing and Negotiating a Residency Admissions Program...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... and Weakly Adhesive Categories -- Process Construction and Analysis for Workflows Modelled by Adhesive HLR...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... for Improving Simulations in UCT for General Game Playing -- Propositional Automata and Cell Automata...”View full text
Electronic
eBook
11
Table of Contents:
“... Research Programs -- C5. Epilogue: Civilization and its Self-Defense -- D. References -- D1. Appendix 1...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... of Inductive Constructions -- Inferring Disjunctive Postconditions -- An Approach to Formal Verification...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... to Evolve Programs -- Fuzzy Pattern Rule Induction for Information Extraction -- An Orthogonal and Model...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...”View full text
Electronic
eBook
18
Table of Contents:
“...Introduction -- Dynamics of Electromechanical Systems -- Induction machine in electric drives...”
View full text
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... New Rule-Based System for the Construction and StructuralCharacterization of Artificial Proteins...”View full text
Electronic
eBook