Arama Sonuçları - ((functions computation) or (functions computational)) programming validation processes robust*

Şunu mu demek istediniz:
functions computational » function computation , directions computational , section computational
programming validation » programming validating , programming evaluation , programming animation
functions computation » function computation , functions composition , function composition
validation processes » validation process , calcination processes , validation procedures
processes robust » processes trust , processes process

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Tam Metin Erişim

Elektronik Ekitap

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Sequence Alignment Problem -- Noise Robust Features Based on MVA Post-Processing -- Arabic Texts...”
Tam Metin Erişim

Elektronik Ekitap

Control of grain drying process using self-tuning quantitative feedback theory

Yazar: Mansor, Hasmah
Baskı/Yayın Bilgisi 2011

Konular: “...Automatic control - Computer programs...”
Tam Metin Erişim

Tez

Architecting Dependable Systems VII

Baskı/Yayın Bilgisi 2010

İçindekiler: “...1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Function -- A Robust Methodology for Comparing Performances of Clustering Validity Criteria -- Natural...”
Tam Metin Erişim

Elektronik Ekitap

Classification and Data Science in the Digital Age

Baskı/Yayın Bilgisi 2023

İçindekiler: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Elektronik Ekitap

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
Tam Metin Erişim

Elektronik Ekitap

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Software Requirements -- Requirements Patterns -- Towards a Framework for Specifying Software Robustness...”
Tam Metin Erişim

Elektronik Ekitap

Statistical Modeling and Analysis for Complex Data Problems

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...”
Tam Metin Erişim

Elektronik Ekitap

Expert Spring MVC and Web Flow

Yazar: Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Processing Pipeline -- The Controller Menagerie -- The View Layer -- Supported View Types -- Validation...”
Tam Metin Erişim

Elektronik Ekitap

Testing Commercial-off-the-Shelf Components and Systems

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COTS Components...”
Tam Metin Erişim

Elektronik Ekitap

Information Hiding 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Software Watermarking -- Data Hiding in Compiled Program Binaries for Enhancing Computer System Performance...”
Tam Metin Erişim

Elektronik Ekitap

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedi...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Validation by HOV3 -- Short Papers -- Flexible Grid-Based Clustering -- Polyp Detection in Endoscopic Video...”
Tam Metin Erişim

Elektronik Ekitap

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

Yazar: Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... Modeling Strategies -- Describing, Resampling, Validating and Simplifying the Model -- R Software...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Temperature Prediction Based on Support Vector Machine -- Towards the Computation of A Nash Equilibrium...”
Tam Metin Erişim

Elektronik Ekitap

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Tam Metin Erişim

Elektronik Ekitap

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Tam Metin Erişim

Elektronik Ekitap

Biomedical Image Registration Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Medical Image Registration Based on BSP and Quad-Tree Partitioning -- A Bayesian Cost Function...”
Tam Metin Erişim

Elektronik Ekitap

Handbook of Performability Engineering

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Six Sigma — Status and Trends -- Computer Based Robust Engineering -- Integrating a Continual...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt