1
Published 2005
Table of Contents: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Minimal Templates Problem -- The Inference Processes on Clustered Rules -- Extending Decision Units...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...Consolidating and Exploring information via Textual Inference -- Pattern Discovery and Listing...
View full text
Electronic eBook
4
by Lynch, Scott M., Lynch, Scott M.
Published 2007
Subjects: ...Methodology of the Social Sciences. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... the Operational, Tactic and Strategic Level by Means of CPM: An Example of the Construction Industry -- Adaptive...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... of Applying Replica Selection Technology for Data Grid Environments -- RAxML-OMP: An Efficient Program...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Intelligence? -- Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Structure -- Multimedia Data Mining -- Fast Training of Neural Networks for Image Compression -- Processing...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Hebbian Learning on the GPU -- Construction of Emerging Markets Exchange Traded Funds Using Multiobjective...
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 2006
Table of Contents: ... PROGRAMMING FOR MAXIMUM-LIKELIHOOD PHYLOGENY INFERENCE -- MINING DOMINANCE ASSOCIATION RULES IN PREFERENCE...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Processing -- Constructing Event Processing Systems of Layered and Heterogeneous Events with SPARQL...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... in Exploratory Learning Using Group Technology Techniques -- Applying Pedagogical Analyses to Create an On-Line...
View full text
Electronic eBook