1
Published 2005
Table of Contents: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
View full text
Electronic eBook
6
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
7
Published 2014
Table of Contents: ... -- Correlation of Arrays -- Inflation of Perfect Arrays Over the Basic Quaternions of Size mn ¼ ðq þ 1Þ=2...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Biosequence Time-frequency Processing: Pathogen Detection and Identification -- Wavelet-Shearlet Edge...
View full text
Electronic eBook