1
Published 2013
Table of Contents: ... of Visual Cryptography on Stereoscopic Displays -- User Studies -- Interface Design for Minimizing Loss...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... End-User Programming -- Mobile Context-Aware Support for Public Transportation Systems -- Quality...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Context and Sociability in Mobile Interactive Multimedia Systems -- Social Properties of Mobile Video -- m...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...: Compositional Verification of Petri Nets Made Easy -- The Context-Freeness Problem Is coNP-Complete for Flat...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Keynote Speeches -- Programming Pervasive Spaces -- Ubiquitous Experience Media -- The Operating...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... to the Matrix Bandwidth Minimization Problem -- Machine-Learning Based Co-adaptive Calibration: A Perspective...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... of Private Datasets -- Hardware Oriented Mechanisms -- RFID Traceability: A Multilayer Problem -- Information...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Scoring Methods -- Deriving Matrix of Peptide-MHC Interactions in Diabetic Mouse by Genetic Algorithm...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...-Term Archiving Service for Digitally Signed Documents Using an Archive Interaction Protocol -- Legal...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Networks -- Context-Aware Intrusion Detection in Mobile Ad-Hoc Networks -- Energy and Fault Aware...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Design Context with an Interactive Graph Visualization -- Temporal Profiling for Opportunistic...
View full text
Electronic eBook