1
Publié 2014
Table des matières: ... or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support -- Body Image and Body...
Accéder au texte intégral
Électronique eBook
2
Publié 2015
Table des matières: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Accéder au texte intégral
Électronique eBook
3
Publié 2014
Table des matières: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Accéder au texte intégral
Électronique eBook
6
Publié 2005
Table des matières: ... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...
Accéder au texte intégral
Électronique eBook
10
Publié 2008
Table des matières: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Accéder au texte intégral
Électronique eBook
13
Publié 2015
Table des matières: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
Accéder au texte intégral
Électronique eBook
15
Publié 2012
Table des matières: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... -- An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing -- The PHASAR Search...
Accéder au texte intégral
Électronique eBook
17
Publié 2006
Table des matières: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Accéder au texte intégral
Électronique eBook
18
Publié 2007
Table des matières: ... -- Functional Interactivity in fMRI Using Multiple Seeds’ Correlation Analyses – Novel Methods and Comparisons...
Accéder au texte intégral
Électronique eBook
19
Table des matières: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ... Transformation and Modular Arithmetic Operation -- Selective Video Encryption Based on Advanced Video Coding...
Accéder au texte intégral
Électronique eBook