1
Published 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
View full text
Electronic eBook
4
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ...Models: Language, Graphic, Analogue, Scale, Mathematical & Computer Models -- Computer Languages...
View full text
Electronic eBook
5
Published 2012
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... for contextualized decision support in e-health applications -- Computing the context effect for science learning...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... -- Expressivity Hierarchy of Languages for Epistemic Awareness Models -- Public Announcements, Private Actions...
View full text
Electronic eBook
9
Published 2011
Subjects: ...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
10
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- Learning Actions Models: Qualitative Approach -- Great Expectations -- Probabilistic Epistemic Updates...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Computational Model -- Labeling Actors in Social Networks Using a Heterogeneous Graph Kernel -- Sample Size...
View full text
Electronic eBook
13
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
14
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...
View full text
Electronic eBook
18
Published 2011
Table of Contents: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...Logics for Epistemic Programs -- A Counterexample to Six Fundamental Principles of Belief Formation...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook