Søgeresultater - ((functions computation) or (functions computational)) programming validation processes robust*

Søg alternativer:
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 /

Udgivet 2006

Indholdsfortegnelse: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Sequence Alignment Problem -- Noise Robust Features Based on MVA Post-Processing -- Arabic Texts...”
Få fuldtekst

Electronisk eBog

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

af Mansor, Hasmah
Udgivet 2011

Fag: “...Automatic control - Computer programs...”
Få fuldtekst

Thesis

Architecting Dependable Systems VII

Udgivet 2010

Indholdsfortegnelse: “...1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Function -- A Robust Methodology for Comparing Performances of Clustering Validity Criteria -- Natural...”
Få fuldtekst

Electronisk eBog

Classification and Data Science in the Digital Age

Udgivet 2023

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

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Software Requirements -- Requirements Patterns -- Towards a Framework for Specifying Software Robustness...”
Få fuldtekst

Electronisk eBog

Statistical Modeling and Analysis for Complex Data Problems

Udgivet 2005

Indholdsfortegnelse: “... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...”
Få fuldtekst

Electronisk eBog

Expert Spring MVC and Web Flow

af Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Udgivet 2006

Indholdsfortegnelse: “... -- The Processing Pipeline -- The Controller Menagerie -- The View Layer -- Supported View Types -- Validation...”
Få fuldtekst

Electronisk eBog

Testing Commercial-off-the-Shelf Components and Systems

Udgivet 2005

Indholdsfortegnelse: “... in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COTS Components...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Software Watermarking -- Data Hiding in Compiled Program Binaries for Enhancing Computer System Performance...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2007

Indholdsfortegnelse: “... Validation by HOV3 -- Short Papers -- Flexible Grid-Based Clustering -- Polyp Detection in Endoscopic Video...”
Få fuldtekst

Electronisk eBog

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

af Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Udgivet 2015

Indholdsfortegnelse: “... Modeling Strategies -- Describing, Resampling, Validating and Simplifying the Model -- R Software...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2014

Indholdsfortegnelse: “... Temperature Prediction Based on Support Vector Machine -- Towards the Computation of A Nash Equilibrium...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Udgivet 2015

Indholdsfortegnelse: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Få fuldtekst

Electronisk eBog