檢索結果 - ((functions functional) or (functions computational)) programming learning metrics case*

搜索替代詞:
functions computational » functions computation , function computation , directions computational
functions functional » equations functional
programming learning » programmed learning , programming using , programming building
learning metrics » learning methods , learning materials , learning material
metrics case » metric case , metrics:a case , metrics based

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

出版 2015

書本目錄: “... Verification in Constant Treewidth Graphs -- Counterexample Explanation by Learning Small Strategies in Markov...”
獲取全文

電子電子書

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

出版 2014

書本目錄: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
獲取全文

電子電子書

Electronic Engineering and Computing Technology

出版 2010

書本目錄: “... to Hardware Virtualization Using a Purely Hardware-Assisted VMM -- Metrics-Driven Software Quality Prediction...”
獲取全文

電子電子書

Computational Methods

出版 2006

書本目錄: “... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”
獲取全文

電子電子書

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

出版 2014

書本目錄: “... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”
獲取全文

電子電子書

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

出版 2012

書本目錄: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
獲取全文

電子電子書

Machine Learning: ECML 2006 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings /

出版 2006

書本目錄: “...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...”
獲取全文

電子電子書

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

出版 2007

書本目錄: “..., and Environmental Data Mining -- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation...”
獲取全文

電子電子書

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

出版 2005

書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文

電子電子書

Simulation-Based Optimization Parametric Optimization Techniques and Reinforcement Learning /

由 Gosavi, Abhijit., Gosavi, Abhijit.
出版 2015

書本目錄: “... and neural nets -- Parametric optimization -- Dynamic programming -- Reinforcement learning -- Stochastic...”
獲取全文

電子電子書

Adobe ColdFusion Anthology The Best of The Fusion Authority /

由 Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
出版 2010

書本目錄: “...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
獲取全文

電子電子書

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

出版 2007

書本目錄: “... in Communication Networks -- Protecting Agent from Attack in Grid ComputingIII -- Incremental Learning of Planning...”
獲取全文

電子電子書

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /

出版 2008

書本目錄: “... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”
獲取全文

電子電子書

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

出版 2013

書本目錄: “... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...”
獲取全文

電子電子書

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

出版 2010

書本目錄: “... on Random Regular Graphs and Expanders -- On Testing Computability by Small Width OBDDs -- Learning...”
獲取全文

電子電子書

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

出版 2005

書本目錄: “... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”
獲取全文

電子電子書

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

出版 2008

書本目錄: “... -- An Optimality Principle for Concurrent Systems -- Partial Order Hierarchical Reinforcement Learning -- Optimal...”
獲取全文

電子電子書

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

出版 2005

書本目錄: “... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...”
獲取全文

電子電子書

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

出版 2008

書本目錄: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
獲取全文

電子電子書

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

出版 2010

書本目錄: “... with Time Windows -- A Functional Taxonomy for Artifacts -- A Case-Based Reasoning Approach for Norm...”
獲取全文

電子電子書

縮小搜索