Modal

Results: 2914



#Item
731Human–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
732Symmetry / Group action / Modal logic / Weight / G factor / Abstract algebra / Algebra / Group theory

1 IMQ ----------------------

Add to Reading List

Source URL: www.afscet.asso.fr

Language: English - Date: 2012-03-06 03:00:30
733Logical syntax / Model theory / Philosophical logic / Philosophy of language / Modal logic / Interpretation / Epistemic modal logic / First-order logic / Entailment / Logic / Mathematical logic / Propositional calculus

Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2011-07-16 10:30:47
734Computational linguistics / Natural language processing / Abstract algebra / Linear algebra / Information retrieval / One-shot learning / Semantic similarity / Latent semantic analysis / Euclidean vector / Algebra / Mathematics / Science

Zero-Shot Learning Through Cross-Modal Transfer Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng Computer Science Department, Stanford University, Stanford, CA 94305, US

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-03-20 21:51:47
735Non-classical logic / Model theory / Philosophical logic / Formal methods / Transitive closure / Modal logic / Description logic / Boolean satisfiability problem / Satisfiability / Logic / Mathematics / Mathematical logic

Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-07-26 07:49:27
736Propositional calculus / Non-classical logic / Proof theory / Modal logic / Epistemology / Provable / Provability logic / Default logic / Function / Mathematical logic / Logic / Mathematics

LWB 1.1 Reference Manual February 14, 1997 Contents 1 Introduction

Add to Reading List

Source URL: www.lwb.unibe.ch

Language: English - Date: 2010-05-10 07:17:13
737Modal logic / Logical syntax / Formal languages / Well-formed formula / Logical connective / FO / Modal depth / Propositional formula / First-order logic / Logic / Mathematical logic / Propositional calculus

/home/lwb/beta/doc/ref/ref_lwb2.dvi

Add to Reading List

Source URL: www.lwb.unibe.ch

Language: English - Date: 2010-05-10 07:17:13
738Philosophy of physics / Philosophical logic / Spacetime / Parts of speech / Philosophy of time / Temporal parts / Four-dimensionalism / Modal logic / Preposition and postposition / Physics / Logic / Science

Three Dimensionalism vs Four Dimensionalism

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-02-04 11:49:33
739Mexican cuisine / Ātman / Modal logic / Philosophy / Myrmicinae / Conceptions of self / Atta

Atta Deep Bhav! http://www.ambedkar.org/adb Atta Deep Bhav!

Add to Reading List

Source URL: www.ambedkar.org

Language: English - Date: 2007-07-11 12:20:51
740Science / Modal logic / Abductive reasoning / Inference / Logic / Reasoning / Knowledge

В издательстве «Физматлит» в 2004 г

Add to Reading List

Source URL: raai.org

Language: English - Date: 2004-01-22 06:27:56
UPDATE