Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
problems process » problems progress, problems problems, process process
process computer » processes computer, processing computer, problems computer
computer https » computers https, computing https, computer arts
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
problems process » problems progress, problems problems, process process
process computer » processes computer, processing computer, problems computer
computer https » computers https, computing https, computer arts
1
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration...”View full text
Electronic
eBook
3
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Background of the Verification and Validation of Neural Networks -- Augmentation of Current...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... and Verification -- Correctness Checking of MPI One-Sided Communication Using Marmot -- An Interface to Support...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Verification in Polar Frequency Domain: A Biologically Motivated Approach -- Face Alignment and Adaptive Weight...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Vulnerability of Voice Verification Systems to Spoofing Attacks by Means of a TTS System -- Exploiting Multiple...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Network for Computer Vision Based Fall Detection with Fixed-Point Arithmetic -- Customer Relationship...”View full text
Electronic
eBook
13
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges Third...
Published 2013
Table of Contents:
“....- Improved Parallel Processing of Massive De Bruijn Graph for Genome Assembly.- B3Clustering: Identifying...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... in Speaker Verification -- Language–Independent Speaker Classification over a Far–Field Microphone -- A...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... in Speaker Verification and Identification -- Methods and Features -- Frame Based Features -- Higher-Level...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Conceptual Modeling -- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science...”View full text
Electronic
eBook