1
Published 2012
Table of Contents: ... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Computation through Virtualization of the Mobile Platform -- MobiCASE 2009 - Session 3: On the Go...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Phonation Biomechanics -- Retinal DOG Filters: Effects of the Discretization Process -- Computable...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...-Computer Interface for Communication in Daily Life -- DCISL: Dynamic Control Integration Script Language...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Invited Papers -- Computational Intelligence and Image Processing Methods for Applications in Skin...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...
View full text
Electronic eBook
19
20
Published 2006
Table of Contents: ... -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing...
View full text
Electronic eBook