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