Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning case » reasoning based, reasoning a, reasoning data
case text » case texts, scale text, paste text
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning case » reasoning based, reasoning a, reasoning data
case text » case texts, scale text, paste text
1
Vydáno 2008
Obsah:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”Získat plný text
Elektronický zdroj
E-kniha
3
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Vydáno 2013
Obsah:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2010
Obsah:
“... Research and Info-computational Knowledge Generation -- Emergent Semiotics in Genetic Programming...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... System to Attention-Deficit Hyperactivity Disorder -- Reasoning with Textual Cases -- Using Ensembles...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2007
Obsah:
“... Search in Knowledge Sifter -- Usages of Generalization in Case-Based Reasoning -- Research Papers -- Team...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2013
Obsah:
“... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2012
Obsah:
“...On the Complexity of Ontological Reasoning under Disjunctive -- Existential Rules -- New Races...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2013
Obsah:
“... -- Meta-kernelization with Structural Parameters -- Polynomial Threshold Functions and Boolean Threshold...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2007
Obsah:
“... Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2007
Obsah:
“... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2012
Obsah:
“...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2015
Obsah:
“... Computational Grid Structures -- Assessment of fertilizer nitrogen requirement of sugar beetroot using Info-Gap...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2014
Obsah:
“... of EEG Signals Using Vector Quantization -- Offline Text-Independent Handwriting Identification and Shape...”Získat plný text
Elektronický zdroj
E-kniha