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