1
Published 2014
Table of Contents: ... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Attribute Number Reduction Process and Nearest Neighbor Methods in Machine Learning -- The Use of Compound...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ...Design Methods for Fluid Construction Grammar -- Tools for Grammar Engineering -- A Reflective...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...: Intelligent Systems -- 3-D Numerical Finite Element Method of Tectonic Stress Field Simulation Based...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Keynote Talk -- From Information to Intelligence: The Role of Relative Significance in Decision...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... -- Magnetic field correction based on intelligent shimming method -- Innovative Designs for Quartz Crystal...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Computational Intelligence -- An Approach for Conceptual Modeling and Extracting Expressive...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... into Events -- Enriching the Adjective Domain in the Japanese WordNet -- Comparing SMT Methods for Automatic...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Methodical Construction of Symbolic Diagrams -- Machine Learning and Data Mining -- Bi-objective Memetic...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
View full text
Electronic eBook