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 2013
Table of Contents: ... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...
View full text
Electronic eBook
3
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
4
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
5
Published 2005
Table of Contents: ... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
View full text
Electronic eBook
7
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
8
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
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 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... of Connectivity -- Kernel Biased Discriminant Analysis Using Histogram Intersection Kernel for Content-Based Image...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
View full text
Electronic eBook