1
出版 2015
書本目錄: ... Verification in Constant Treewidth Graphs -- Counterexample Explanation by Learning Small Strategies in Markov...
獲取全文
電子 電子書
2
出版 2014
書本目錄: ...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... to Hardware Virtualization Using a Purely Hardware-Assisted VMM -- Metrics-Driven Software Quality Prediction...
獲取全文
電子 電子書
4
出版 2006
書本目錄: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
獲取全文
電子 電子書
5
出版 2014
書本目錄: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
獲取全文
電子 電子書
6
出版 2012
書本目錄: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...
獲取全文
電子 電子書
8
出版 2007
書本目錄: ..., and Environmental Data Mining -- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation...
獲取全文
電子 電子書
9
出版 2005
書本目錄: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
獲取全文
電子 電子書
10
書本目錄: ... and neural nets -- Parametric optimization -- Dynamic programming -- Reinforcement learning -- Stochastic...
獲取全文
電子 電子書
11
書本目錄: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
獲取全文
電子 電子書
12
出版 2007
書本目錄: ... in Communication Networks -- Protecting Agent from Attack in Grid ComputingIII -- Incremental Learning of Planning...
獲取全文
電子 電子書
13
出版 2008
書本目錄: ... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... on Random Regular Graphs and Expanders -- On Testing Computability by Small Width OBDDs -- Learning...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...
獲取全文
電子 電子書
17
出版 2008
書本目錄: ... -- An Optimality Principle for Concurrent Systems -- Partial Order Hierarchical Reinforcement Learning -- Optimal...
獲取全文
電子 電子書
18
出版 2005
書本目錄: ... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...
獲取全文
電子 電子書
19
出版 2008
書本目錄: ...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...
獲取全文
電子 電子書
20
出版 2010
書本目錄: ... with Time Windows -- A Functional Taxonomy for Artifacts -- A Case-Based Reasoning Approach for Norm...
獲取全文
電子 電子書