1
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... for Uniform Semi-Unification.- Deciding WQO for Factorial Languages.- On the Construction of a Family...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- On Families of New Adaptive Compression Algorithms Suitable for Time-Varying Source Data -- Text Summarization...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Computing Tool for Evolutionary Analysis of Satellite-DNA Families: Revisiting Y-Linked Satellite-DNA...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Algorithms -- When a Family of Iris Flower is Normal, Then are Others Abnormal? -- Strong Boolean Functions...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
View full text
Electronic eBook