1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Fuzzy Image Processing -- Integer Programming Methods in Image Processing and Bayes Estimation -- Colour...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
14
Table of Contents: ...An Overview of Language Processing -- Corpus Processing Tools -- Encoding, Entropy, and Annotation...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
View full text
Electronic eBook
16
by Hofstedt, Petra., Hofstedt, Petra.
Published 2011
Table of Contents: ... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Computing -- Consistently Handling Geographical User Data -- Intelligent Databases -- A Model Based...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook