Swiss Transport Research Conference _______________________________________________________________________ March 25-26, 2004 Inter-modal Transalpine www.truckinfo.ch System

Source URL: www.strc.ch

• Cantons of Switzerland
• Gotthard Tunnel
• Gotthard Road Tunnel
• Tunnel
• AlpTransit

LNAIThe QMLTP Problem Library for First-Order Modal Logics

Source URL: www.jens-otten.de

FIRST PhD Autumn School on Modal Logic IT University of Copenhagen, Denmark November

Source URL: hylocore.ruc.dk

Multi- and Cross-Modal Semantics Beyond Vision: Grounding in Auditory Perception Douwe Kiela Computer Laboratory University of Cambridge

Source URL: www.cl.cam.ac.uk

Photo or figure (optional)

Source URL: www.strc.ch

• Transport
• Transportation planning
• Public transport
• Modal share
• Rapid transit
• Lausanne
• Traffic congestion

From a multi-modal intelligent cell to a self-organizing robotic skin Philipp Mittendorfer and Gordon Cheng Abstract— In this paper, we present the latest version of our multi-modal, cellular artificial skin (HEX-o-SKI

Source URL: mediatum.ub.tum.de

A tripartite trans-modal relationship among sounds, shapes and emotions: A case of abrupt modulation Shigeto Kawahara () Linguistics Department, Rutgers University, New Brunswick NJ 08901, USA

Source URL: user.keio.ac.jp

Generating Multi-Modal Robot Behavior Based on a Virtual Agent Framework Maha Salem, Stefan Kopp, Ipke Wachsmuth, Frank Joublin Abstract— One of the crucial steps in the attempt to build sociable, communicative humanoi

Source URL: www.techfak.uni-bielefeld.de

PRIOR ON THE SEMANTICS OF MODAL AND TENSE LOGIC M.J. Cresswell In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death, and it is

Source URL: conference.prior.aau.dk

Implementing and Evaluating Provers for First-order Modal Logics 1 2 and Jens Otten3 and Thomas Raths4 5 ¨ Christoph Benzmuller

Source URL: www.cs.uni-potsdam.de