Search Results - interactive ((civilization problems) OR (minimization problems)) programs context https

1

Human-Computer Interaction: Users and Contexts of Use 15th International Conference, HCI...

Published 2013

Table of Contents: “... of Visual Cryptography on Stereoscopic Displays -- User Studies -- Interface Design for Minimizing Loss...”
View full text

Electronic eBook

2

Mobile Context Awareness

Published 2012

Table of Contents: “... End-User Programming -- Mobile Context-Aware Support for Public Transportation Systems -- Quality...”
View full text

Electronic eBook

3

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

4

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

5

Mobile TV: Customizing Content and Experience

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

Computational Social Network Analysis Trends, Tools and Research Advances /

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

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

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

Ubiquitous Intelligence and Computing 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “...Keynote Speeches -- Programming Pervasive Spaces -- Ubiquitous Experience Media -- The Operating...”
View full text

Electronic eBook

9

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

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

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...”
View full text

Electronic eBook

11

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

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

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
View full text

Electronic eBook

13

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers /

Published 2005

Table of Contents: “... of Private Datasets -- Hardware Oriented Mechanisms -- RFID Traceability: A Multilayer Problem -- Information...”
View full text

Electronic eBook

14

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

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

Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “...-Term Archiving Service for Digitally Signed Documents Using an Archive Interaction Protocol -- Legal...”
View full text

Electronic eBook

16

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

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

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007...

Published 2007

Table of Contents: “...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...”
View full text

Electronic eBook