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