Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interactive selection » interaction selection, iterative selection, interactive television
selection processing » collection processing, selection process, selection processes
processing programs » processing programmed, processing problems, processing products
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
interactive selection » interaction selection, iterative selection, interactive television
selection processing » collection processing, selection process, selection processes
processing programs » processing programmed, processing problems, processing products
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
1
Argitaratua 2014
Aurkibidea:
“... or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support -- Body Image and Body...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2015
Aurkibidea:
“... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2013
Aurkibidea:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2015
Aurkibidea:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2012
Aurkibidea:
“... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...”Testu osoa
Baliabide elektronikoa
eBook
15
Natural Language Processing and Information Systems 11th International Conference on Applications...
Argitaratua 2006
Aurkibidea:
“... -- An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing -- The PHASAR Search...”Testu osoa
Baliabide elektronikoa
eBook
16
Natural Language Processing and Information Systems 15th International Conference on Applications...
Argitaratua 2010
Aurkibidea:
“... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2007
Aurkibidea:
“... -- Functional Interactivity in fMRI Using Multiple Seeds’ Correlation Analyses – Novel Methods and Comparisons...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Testu osoa
Baliabide elektronikoa
eBook
19
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Argitaratua 2005
Aurkibidea:
“... Transformation and Modular Arithmetic Operation -- Selective Video Encryption Based on Advanced Video Coding...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Testu osoa
Baliabide elektronikoa
eBook