1
Published 2014
Subjects: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... of Epileptic Seizures by Computing Multiple Genetic Programming Artificial Features -- Relative Fitness...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Invited Talks -- Active Media Human-Computer Interaction -- Computational Intelligence...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... of Heuristics and Links in Multi-relational Data Mining -- Intelligent Software Engineering Tools for NASA’s...
View full text
Electronic eBook
8
Published 2012
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...
View full text
Electronic eBook
12
Published 2011
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Foundation -- A Declarative Language for the Coq Proof Assistant -- Characterising Strongly Normalising...
View full text
Electronic eBook
16
Published 2011
Subjects: ...Computer programming....
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...
View full text
Electronic eBook
18
Table of Contents: ...Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Invited Papers -- Information Retrieval Based on Statistical Language Models -- Intelligent Agent...
View full text
Electronic eBook
20
by Langit, Lynn., Langit, Lynn.
Published 2007
Table of Contents: ...What is Business Intelligence? -- OLAP Modeling -- Introducing SSIS -- Using SSAS -- Intermediate...
View full text
Electronic eBook