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