Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive selection » interaction selection, iterative selection, interactive television
selection processing » collection processing, selection process, selection processes
processing program » processing programs, processing programmed, proceedings program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interactive selection » interaction selection, iterative selection, interactive television
selection processing » collection processing, selection process, selection processes
processing program » processing programs, processing programmed, proceedings program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
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
Natural Language Processing and Information Systems 15th International Conference on Applications...
Published 2010
Table of Contents:
“... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...”View full text
Electronic
eBook
16
Natural Language Processing and Information Systems 11th International Conference on Applications...
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
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
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