1
Published 2005
Table of Contents: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
View full text
Electronic eBook
7
Published 2011
Table of Contents: ... Pattern -- Design of Simple Home Service Robot Based on Infineon Microcontroller -- Computer Simulation...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
View full text
Electronic eBook