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