Journal of Machine Learning Research523 Submitted 6/10; Published 2/11 Learning Multi-modal Similarity Brian McFee

Source URL: eceweb.ucsd.edu

Crew: Cross-modal Resource Searching by Exploiting Wikipedia Chen Liu, Beng Chin Ooi, Anthony K. H. Tung, Dongxiang Zhang School of Computing, National University of Singapore 13 Computing Drive, 117417, Singapore

Source URL: www.comp.nus.edu.sg

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems Sabine Winetzhammer1 , Joel Greenyer2 and Matthias Tichy3 1 Chair

Source URL: sdl-forum.org

Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria & LIX/École polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr

Source URL: www.lix.polytechnique.fr

Result Diversity for Multi-Modal Route Planning∗ Hannah Bast1 , Mirko Brodesser1 , and Sabine Storandt1 1 Albert-Ludwigs-Universität Freiburg Freiburg, Germany

Source URL: ad-publications.informatik.uni-freiburg.de

Modal verbs A modal verb is an extra verb which is used before the main verb and gives more information about the main verb. An example of a modal verb is the verb ‘can’. ‘Can’ goes before another verb and shows

Source URL: www.chambers.co.uk

• Linguistics
• Grammar
• Syntax
• Parts of speech
• English modal verbs
• Modality
• Modal verb
• Shall and will
• Infinitive
• Modal logic
• Verb
• Uses of English verb forms

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Non-classical logic
• Modal logic
• Proof theory
• Philosophical logic
• Model theory
• Admissible rule
• Sequent
• Normal modal logic
• Kripke semantics
• Intuitionistic logic

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Mathematics
• Proof theory
• Automated theorem proving
• Craig interpolation
• Lemmas
• Non-classical logic
• Sequent
• Propositional calculus
• First-order logic
• Modal logic

C:uments and SettingsoomeDocumentsiclese or narrow scopee or narrow scope.wpd

Source URL: users.ox.ac.uk

• Philosophy
• Logic
• Cognitive science
• Philosophical logic
• Epistemology
• Rational choice theory
• Autonomy
• Philosophy of mind
• Rationality
• Isought problem
• Reason
• Modal logic

Validation of Vibro­Acoustic Modulation of wind turbine blades for structural health monitoring using operational vibration as a pumping signal Sungmin Kim, Douglas E. Adams, Hoon Sohn, Gustavo R

Source URL: wind.cs.purdue.edu

• Engineering
• Mechanical engineering
• Maintenance
• Structural engineering
• Structural health monitoring
• Wind turbine
• Modulation
• Modal analysis
• Turbine blade
• Fatigue