1
Pubblicazione 2014
Sommario: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Testo
Elettronico eBook
3
Pubblicazione 2014
Sommario: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Testo
Elettronico eBook
5
Pubblicazione 2015
Sommario: ... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...
Testo
Elettronico eBook
7
Soggetti: ...Signal, Image and Speech Processing. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
8
Pubblicazione 2005
Sommario: ... -- COATINGS PRINCIPLES -- CLASSICAL PROPERTIES OF CONTINUOUSWAVE OPTICAL PARAMETRIC OSCILLATORS...
Testo
Elettronico eBook
9
di Bennett, Gary., Bennett, Gary., Lees, Brad.
Pubblicazione 2015
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook
10
Pubblicazione 2005
Sommario: ... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Testo
Elettronico eBook
12
Pubblicazione 2008
Sommario: ...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...
Testo
Elettronico eBook
13
Pubblicazione 2013
Sommario: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Testo
Elettronico eBook
14
Pubblicazione 2015
Sommario: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Testo
Elettronico eBook
15
Pubblicazione 2014
Sommario: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...
Testo
Elettronico eBook
17
Pubblicazione 2007
Sommario: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Testo
Elettronico eBook
18
Pubblicazione 2012
Sommario: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Testo
Elettronico eBook
19
Pubblicazione 2015
Sommario: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
Testo
Elettronico eBook
20
Pubblicazione 2007
Sommario: ... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...
Testo
Elettronico eBook