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