Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing processing » processing proceedings, processing properties
decision processing » decision processes, decision process, vision processing
program decision » programme decision, program division, programs division
processing array » processing areas, processing assay, processing warren
https » http
processing processing » processing proceedings, processing properties
decision processing » decision processes, decision process, vision processing
program decision » programme decision, program division, programs division
processing array » processing areas, processing assay, processing warren
https » http
1
Published 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... of Government Resignation -- Utilizing Neuronal Calculus in Predicting Inflation -- PEV: A Computer Program...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Normative Reasoning with an Adaptive Self-interested Agent Model Based on Markov Decision Processes -- Query...”View full text
Electronic
eBook
7
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... and Countermodels in Labelled Sequent Calculi -- A Brief Survey of Verified Decision Procedures for Equivalence...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Variations on Safety -- Decision Procedures and their Application in Analysis Decision Procedures...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- Programming Living Machines: The Case Study of Escherichia Coli -- Force Contribution of Single Leg Joints...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”View full text
Electronic
eBook