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