1
Опубликовано 2010
Оглавление: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2005
Оглавление: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2007
Оглавление: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2007
Оглавление: ... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2007
Оглавление: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2010
Оглавление: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2012
Оглавление: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2007
Оглавление: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2010
Оглавление: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2005
Оглавление: ... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2007
Оглавление: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2007
Оглавление: ... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2014
Оглавление: ... User Access on Web Log Data -- A Review on Methods for Query Personalisation -- A Wide Band Compact...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2007
Оглавление: ... Generation Network -- Query Processing to Efficient Search in Ubiquitous Computing -- Service and Management...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2008
Оглавление: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2013
Оглавление: ... Set Segmentation for Ultrasound Imaging -- Region Based Contour Detection by Dynamic Programming...
Полный текст
Электронный ресурс eКнига