1
יצא לאור 2012
תוכן הענינים: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2012
תוכן הענינים: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים: ... and Neural Networks -- Bottom-Up Visual Saliency Using Binary Spectrum of Walsh-Hadamard Transform...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים: ... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2015
תוכן הענינים: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2013
תוכן הענינים: ... -- Multiscale Convolutional Neural Networks for Vision–Based Classification of Cells -- Semantic-Context-Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים: ... Classification via Neural Networks -- An Adaptive Spreading Activation Scheme for Performing More Effective...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2013
תוכן הענינים: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני