Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs optimization » program optimization, program optimizations, program optimisation
processes programs » processing programs, procedures programs, processes problems
optimization https » organization https
interface methods » internal methods, interval methods, interference methods
methods processes » methods procedures, method process, methods properties
programs optimization » program optimization, program optimizations, program optimisation
processes programs » processing programs, procedures programs, processes problems
optimization https » organization https
interface methods » internal methods, interval methods, interference methods
methods processes » methods procedures, method process, methods properties
1
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”View full text
Electronic
eBook
6
Table of Contents:
“... and neural nets -- Parametric optimization -- Dynamic programming -- Reinforcement learning -- Stochastic...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Achievement Process to Project Business Cases -- Optimizing Process Decision in COTS-Based Development Via...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... and Optimization with Mathematica™ -- Verification of Business Process Designs Using Maps -- Alps: A Framework...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”View full text
Electronic
eBook
15
Natural Language Processing and Information Systems 10th International Conference on Applications...
Published 2005
Table of Contents:
“... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“...-convex Optimization on Stiefel Manifold and Applications to Machine Learning -- Local Patch Dissimilarity...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Reconfigurable FPGAs -- Design Methods and Tools - Optimization and Runtime Systems -- Design Methods and Tools...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic...”View full text
Electronic
eBook