1
Published 2013
Table of Contents: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
View full text
Electronic eBook
2
Published 2011
Table of Contents: ... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...
View full text
Electronic eBook
15
Table of Contents: ... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...
View full text
Electronic eBook
17
Published 2011
Table of Contents: ... GUI Generation with Optimization for Screens with Limited Resolution -- 3.1.3. Process-Centred Design...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
View full text
Electronic eBook
19
Published 2011
Table of Contents: ... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...) -- Statistical Tools for Digital Forensics -- Relative Generic Computational Forensic Techniques -- Session 4...
View full text
Electronic eBook