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