1
Pubblicazione 2010
Sommario: ... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ... on Multiplexer Module Array -- Estimating Array Connectivity and Applying Multi-output Node Structure...
Testo
Elettronico eBook
6
Pubblicazione 2010
Sommario: ... Methods for Many-Objective Optimization Problems -- Genetic Programming -- Evolving Efficient List Search...
Testo
Elettronico eBook
7
Pubblicazione 2006
Sommario: ... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...
Testo
Elettronico eBook
8
Pubblicazione 2006
Sommario: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
Testo
Elettronico eBook
9
Pubblicazione 2014
Sommario: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Testo
Elettronico eBook
10
Pubblicazione 2014
Sommario: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
Testo
Elettronico eBook
12
Pubblicazione 2011
Sommario: ... Combination Weights Method Considering both Subjective and Objective Weight Information in Power Quality...
Testo
Elettronico eBook
13
Pubblicazione 2010
Sommario: ...-Speed Links -- Video Compression -- Low-power Wireless Sensor Network Platforms -- Signal Processing...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...
Testo
Elettronico eBook
15
Pubblicazione 2005
Sommario: ... Join Query Processing in Cluster Architectures -- A Precise Blocking Method for Record Linkage...
Testo
Elettronico eBook
16
Pubblicazione 2012
Sommario: ... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Testo
Elettronico eBook
18
Pubblicazione 2015
Sommario: ...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...
Testo
Elettronico eBook
19
Pubblicazione 2014
Sommario: ... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...
Testo
Elettronico eBook