1
出版事項 2014
目次: ... Difficulty Level of Programming Code with Eye-Tracking -- Expressing Observation Direction through Face...
全文の入手
電子媒体 eBook
2
出版事項 2014
目次: ... for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide...
全文の入手
電子媒体 eBook
3
出版事項 2013
目次: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
全文の入手
電子媒体 eBook
4
出版事項 2008
目次: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
全文の入手
電子媒体 eBook
5
出版事項 2007
目次: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
全文の入手
電子媒体 eBook
9
出版事項 2008
目次: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
全文の入手
電子媒体 eBook
11
出版事項 2006
目次: ... of Calendar Expressions as Extended Regular Expressions -- Using Finite State Technology in a Tool...
全文の入手
電子媒体 eBook
12
出版事項 2014
目次: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
全文の入手
電子媒体 eBook
13
出版事項 2014
目次: ... Using SVM and DCT -- Multi-temporal Satellite Image Analysis Using Gene Expression Programming...
全文の入手
電子媒体 eBook
15
出版事項 2015
目次: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
全文の入手
電子媒体 eBook
16
出版事項 2007
目次: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
全文の入手
電子媒体 eBook
17
出版事項 2010
目次: ... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
全文の入手
電子媒体 eBook
20
出版事項 2005
目次: ... Human Interaction -- Cognition, Reasoning and Behaviour -- A Knowledge-Based Scenario Framework...
全文の入手
電子媒体 eBook