1
Published 2013
Table of Contents: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
View full text
Electronic eBook
5
Table of Contents: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
View full text
Electronic eBook
8
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
9
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
11
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
12
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... OPTIMIZATION -- ADAPTIVE DIRECTIONAL WEIGHTED MEDIAN FILTERING -- AN INTERACTIVE WORKFLOW MANAGEMENT FUNCTION...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...
View full text
Electronic eBook
20
Table of Contents: ... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...
View full text
Electronic eBook