1
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... -- Petrophysical Parameters Estimation from Well-Logs Data Using Multilayer Perceptron and Radial Basis Function...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... PDF Estimation -- Determining Effective Connectivity from FMRI Data Using a Gaussian Dynamic Bayesian...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... on Navy Platforms Using Soft Computing -- Software Implementation of Fuzzy Controller with Conditionally...
View full text
Electronic eBook