Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing properties » processing proceedings
processing programs » processing programmed, processing problems, processing products
programs processing » program processing, programs proceedings, programs processes
properties array » properties air, properties akira, properties a.a
https » http
processing properties » processing proceedings
processing programs » processing programmed, processing problems, processing products
programs processing » program processing, programs proceedings, programs processes
properties array » properties air, properties akira, properties a.a
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:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”View full text
Electronic
eBook
4
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
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...”View full text
Electronic
eBook
7
Subjects:
“...Signal, Image and Speech Processing. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- COATINGS PRINCIPLES -- CLASSICAL PROPERTIES OF CONTINUOUSWAVE OPTICAL PARAMETRIC OSCILLATORS...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”View full text
Electronic
eBook
10
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
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 2008
Table of Contents:
“...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”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 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook



