Search alternatives:
computing processing » computing proceeding, computing proceedings, computer processing
interval computing » intervals comparing, internet computing, interval counting
processing program » processing programs, processing programmed, proceedings program
program abstracts » programme abstracts
abstracts https » abstracts themes
1
Published 2010
Table of Contents: ... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... of Variables, and Computing Multivariate Orthogonal Discrete Wavelet Transforms on Graphics Processing Units...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Phonation Biomechanics -- Retinal DOG Filters: Effects of the Discretization Process -- Computable...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
View full text
Electronic eBook