Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing processing » computing proceeding, computing proceedings, computer processing
problem constructive » problem construction, problems obstructive, problem constrained
interval computing » intervals comparing, internet computing, interval counting
processing problem » processing problems, pressing problems, processing program
constructive https » construction https, constructive type, constructive help
computing processing » computing proceeding, computing proceedings, computer processing
problem constructive » problem construction, problems obstructive, problem constrained
interval computing » intervals comparing, internet computing, interval counting
processing problem » processing problems, pressing problems, processing program
constructive https » construction https, constructive type, constructive help
1
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Complementation Constructions for Nondeterministic Automata on Infinite Words -- Using BDDs to Decide CTL...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Computational Study of Blood Flow through Elastic Arteries with Porous Effects -- A Modified...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... 70th birthday), by G. Nawratil -- Direct Geometrico-Static Problem of Underconstrained Cable-Driven...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Dirichlet Process Mixture of Generalized Dirichlet Distributions -- Generalized Agglomerative Fuzzy...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... by Preprocessing Imbalanced Credit Data -- Hybrid Validation of Handwriting Process Modelling -- Off-Line...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Problem -- Unsupervised Anomaly Detection Based n an Evolutionary Artificial Immune Network...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Problem -- User Satisfaction Evaluation Model Based on Blink Interval -- A K-medoids Clustering Algorithm...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Workflow Scheduling Model for Cloud Computing -- Scalable SAPRQL Querying Processing on Large RDF Data...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Optimization Problems -- A Multi-Objective Genetic Algorithm Based on Density -- Interplanetary Trajectory...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...-matching Problem -- Molecular approach to Hopeld neural network -- Toward work groups classification based...”View full text
Electronic
eBook