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: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- An Iterative and Incremental Process for Interaction Design through Automated GUI Generation -- Adaptive...
View full text
Electronic eBook
5
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Approach for Interactive Discovery in Process Mining -- Merging Event Logs with Many to Many Relationships...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- Generalized Shape Optimization Using X-FEM and Level Set Methods -- Topology Design of Three-Dimensional...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... for Comparison of Two Independent cDNA Filter Microarrays -- Large Deviations for Interacting Processes...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Learning: What Is Important to Make Blended Learning a Successful Concept? -- Interactive Hybrid Learning...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...-Based Fall Detection -- ST: Low-Level Color Image Processing -- On Contrast-Preserving Visualisation...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
View full text
Electronic eBook