1
Published 2014
Table of Contents: ... or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support -- Body Image and Body...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
4
Published 2013
Table of Contents: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...
View full text
Electronic eBook
7
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
8
Published 2008
Table of Contents: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
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 2006
Table of Contents: ... -- An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing -- The PHASAR Search...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- Functional Interactivity in fMRI Using Multiple Seeds’ Correlation Analyses – Novel Methods and Comparisons...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Transformation and Modular Arithmetic Operation -- Selective Video Encryption Based on Advanced Video Coding...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook