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