1
Publicado 2015
Table of Contents: ... Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative Reasoning...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... Listed Companies Based on DEA -- Fuzzy Logic and Soft Computing -- Research on Differential Evolution...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... in Remote Sensing Information Analysis and Service Grid Node -- Density Based Fuzzy Membership Functions...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ... and Reliable Execution of Legacy Codes Exposed as Services -- Provenance Provisioning in Mobile Agent-Based...
Ligazón do recurso
Electrónico eBook
7
Publicado 2010
Table of Contents: ... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... Multi-Agent System -- Modeling Super Mirroring Functionality in Action Execution, Imagination, Mirroring...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Ligazón do recurso
Electrónico eBook
11
Publicado 2014
Table of Contents: ... Execution in Computational Grid -- A Comparative Analysis of Keyword Based and Semantic Based Search Engines...
Ligazón do recurso
Electrónico eBook
12
Table of Contents: ... Parameters -- A Comparison with Tree-Based Genetic Programming -- Advanced Techniques and Phenomena...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Ligazón do recurso
Electrónico eBook
16
Publicado 2006
Table of Contents: ... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...
Ligazón do recurso
Electrónico eBook
17
por Garib, Sarmad Makki Mohammed
Publicado 2019
Subjects: ...Cluster analysis - Computer programs...
Ligazón do recurso
Thesis
18
Publicado 2010
Table of Contents: ... to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations...
Ligazón do recurso
Electrónico eBook
19
por Raynal, Michel., Raynal, Michel.
Publicado 2013
Table of Contents: ...Part I  Distributed Graph Algorithms -- Chap. 1  Base Definitions and Network Traversal Algorithms...
Ligazón do recurso
Electrónico eBook
20
Publicado 2013
Table of Contents: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Ligazón do recurso
Electrónico eBook