Multimodal logic

Results: 15



#Item
1Collaboration / Groupware / Humancomputer interaction / Multimodal interaction / Computer-supported cooperative work

Note that this survey was administered interactively via surveygizmo.com and included branching logic that is not apparent in this flat-file version. In particular, responses to question 1 impacted which subsequent sets

Add to Reading List

Source URL: cscw.acm.org

Language: English - Date: 2014-01-08 11:23:46
2Logic / Mathematical logic / Philosophy / Modal logic / Non-classical logic / Philosophical logic / Model theory / Logic in computer science / Intuitionistic logic / Kripke semantics / Multimodal logic / Accessibility relation

MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2008-04-09 11:54:45
3Edsger W. Dijkstra / Logistics / Algorithm / Mathematical logic / Theoretical computer science / Shortest path problem / Intermodal freight transport / Transport / Multimodal transport / Program optimization / Intermodal journey planner / Journey planner

The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC

Add to Reading List

Source URL: www.strc.ch

Language: English - Date: 2009-01-15 15:15:41
4Epistemic modal logic / Normal modal logic / Deontic logic / Common knowledge / Temporal logic / Dynamic logic / Kripke semantics / Multimodal logic / Logic / Mathematical logic / Modal logic

TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2009-01-28 11:49:26
5Human–computer interaction / User interfaces / Modality / Usability / Human factors / User interface / Mode / Modal logic / Usability testing / Human–computer interaction / User interface techniques / Multimodal interaction

Multimodality from the User and System Perspectives Joëlle Coutaz, Laurence Nigay, Daniel Salber CLIPS-IMAG, BP 53, 38041 Grenoble cedex email: {Joelle.Coutaz, Laurence.Nigay, Daniel.Salber}@imag.fr Abstract

Add to Reading List

Source URL: ui4all.ics.forth.gr

Language: English - Date: 2007-11-27 14:03:30
6Modal logic / Non-classical logic / Philosophical logic / Data fusion / Artificial neuron / Modality / KeY / Science / Neural networks / Logic / Multimodal interaction

1 ModDrop: adaptive multi-modal gesture recognition arXiv:1501.00102v1 [cs.CV] 31 Dec 2014

Add to Reading List

Source URL: www.uoguelph.ca

Language: English - Date: 2015-01-08 21:24:09
7Multimodal interaction / Computer-supported cooperative work / Collaboration / Groupware / Human–computer interaction

Note that this survey was administered interactively via surveygizmo.com and included branching logic that is not apparent in this flat-file version. In particular, responses to question 1 impacted which subsequent sets

Add to Reading List

Source URL: cscw.acm.org

Language: English - Date: 2014-01-08 11:23:46
8Linguistic modality / Semantics / Modality / Academia / Modal logic / Logic / Science / Multimodal interaction

The Metaphysics of Modality This talk will concern two main metaphysical issues about modality: What is the source of modality? How many kinds of modality are there, and what are the relations between them? In the first

Add to Reading List

Source URL: www.metaphysics-of-entanglement.ox.ac.uk

Language: English - Date: 2015-02-13 04:14:34
9Knowledge / Futurology / As We May Think / Library science / Multimodal interaction / Memex / Microform / Logic / Punched card / Science / Human–computer interaction / Hypertext

The Atlantic Monthly; July, 1945; As We May Think; Volume 176, No. 1; pages[removed]JULY 1945 As we may think by Vannevar Bush

Add to Reading List

Source URL: www.diegolevis.com.ar

Language: English - Date: 2006-04-28 18:20:44
10Semantics / Learning / Science / Modality / Non-negative matrix factorization / Gesture / Modal logic / Machine learning / Linguistic modality / Mathematics / Multimodal interaction / Logic

Learning Semantic Components from Subsymbolic Multimodal Perception Olivier Mangin Pierre-Yves Oudeyer

Add to Reading List

Source URL: olivier.mangin.com

Language: English - Date: 2014-07-09 14:26:39
UPDATE