1
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Contributions -- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties -- Antimirov...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Alphabet Partitioning for Compressed Rank/Select and Applications -- Entropy-Bounded Representation...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Photographic Composites of People -- Session I: Watermark Security -- (In)Security of an Efficient...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Based Image Difference Metric in Relation to Perceived Compression Artifacts -- Visualization II...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... DYNAMIC COMPRESSION UP TO 300 KBAR -- GAS INTERSTITIAL FULLERENES PRECIPITATED FROM THE SOLUTION OF C60...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Investigation on the Behaviour of CFRP Laminated Composites under Impact and Compression After Impact (CAI...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... -- Biology and Chemistry of Tension Wood -- Formation and Structure of Compression Wood....
View full text
Electronic eBook
16
Published 2015
Table of Contents: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Camera for Non-linear Motion -- Error-Tolerant Image Compositing -- Blind Reflectometry -- Photometric...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook