1
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...-Database Based Meta-CASE System and its Query Subsystem -- An Intelligent Control System Based on Non...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... User Access on Web Log Data -- A Review on Methods for Query Personalisation -- A Wide Band Compact...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Generation Network -- Query Processing to Efficient Search in Ubiquitous Computing -- Service and Management...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Pattern Mining in Data Stream -- Methods of Computing Optimization -- A General k-Level Uncapacitated...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Social Networks -- Influence Clubs in Social Networks -- A Method of Label-Dependent Feature...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Computing To Detect Emotions with Color; M.-F.Lee, et al -- Bucket Index Ordering Problem in Range Queries...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Presentation System -- Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
View full text
Electronic eBook