1
Published 2006
Table of Contents: ... Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL -- Session 11. Decision Procedures...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ...Chapter 1. Characterization of Fuzzy Tree Searches: A Perspective -- Chapter 2. A Modified SOM...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Mining and Fusion in Bioinformatics -- Data Clustering and Evolving Fuzzy Decision Tree for Data Base...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... And Implementation of Novel Algorithms For Frequent Pattern Trees -- Using Symbolic Functional Decomposition...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Implementation of Tree and Butterfly Barriers with Optimistic Time Management Algorithms for Discrete Event...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Kepler/pPOD: Scientific Workflow and Provenance Support for Assembling the Tree of Life -- Using...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Decision Trees Interact: An Approach to Enrich Knowledge and Increase Expert Confidence in Data-Driven...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Java Card Object with High Locality for Efficient Java Card Applications -- Design and Implementation...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ...Bio-inspired Optimization Techniques and Their Applications -- Swarm Based Mean-Variance Mapping...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... in Intelligent Computation and Applications (IICA 2014) -- A New Method for Autocratic Decision Making Using...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... in Intelligent Computation and Applications (IICA 2014) -- A New Method for Autocratic Decision Making Using...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... of Incorporating Knowledge in an Evolutionary Concept Learner -- Automated Re-invention of a Previously Patented...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Fault Trees -- QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... with Watchdog Implementation on a Real-life Ad-Hoc Network: Monitoring Selfish Behavior -- Power Consumption...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... of Back Flashover Lightning Withstanding Level of 500kV Double-Circuit Transmission Lines -- Application...
View full text
Electronic eBook