1
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Ligazón do recurso
Electrónico eBook
5
Publicado 2006
Table of Contents: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... Achievement Process to Project Business Cases -- Optimizing Process Decision in COTS-Based Development Via...
Ligazón do recurso
Electrónico eBook
7
por Gosavi, Abhijit., Gosavi, Abhijit.
Publicado 2015
Table of Contents: ... and neural nets -- Parametric optimization -- Dynamic programming -- Reinforcement learning -- Stochastic...
Ligazón do recurso
Electrónico eBook
8
Publicado 2012
Table of Contents: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...
Ligazón do recurso
Electrónico eBook
11
Publicado 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Ligazón do recurso
Electrónico eBook
12
Publicado 2012
Table of Contents: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... and Optimization with Mathematica™ -- Verification of Business Process Designs Using Maps -- Alps: A Framework...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
Ligazón do recurso
Electrónico eBook
15
Publicado 2012
Table of Contents: ...-convex Optimization on Stiefel Manifold and Applications to Machine Learning -- Local Patch Dissimilarity...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
Ligazón do recurso
Electrónico eBook
19
Publicado 2007
Table of Contents: ... -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ..., LCBB and kp Methods -- Analysis of Silicon Dioxide Interface Transition Region in MOS Structures...
Ligazón do recurso
Electrónico eBook