1
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... data analysis for activation detection -- fMRI experimental design -- fMRI data pre-processing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...
View full text
Electronic eBook
9
Published 2010
Table of Contents: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
View full text
Electronic eBook
10
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
11
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and Denoising Using a Novel Shock Filter Model -- Resolution Scalable Image Coding with Dyadic Complementary...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Features and Post-processing Rules to Improve Named Entity Recognition -- The Role and Resolution...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Applications -- Adaptive MAP High-Resolution Image Reconstruction Algorithm Using Local Statistics -- Energy...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Function for Facial Expression Recognition -- 3D Motion from Image Derivatives Using the Least Trimmed...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Documents -- HistDoc - A Toolbox for Processing Images of Historical Documents -- Urban Road Extraction from...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Stereo Reconstruction of a Submerged Scene -- A Functional Simplification of the BCS/FCS Image...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Conflict Resolution Process in Preliminary Ship Design....
View full text
Electronic eBook