Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Interface design for the home requires a realistic understanding of the complexity and richness of the human activities that go on there; it is our goal to develop tools that enab...
Jennifer Beaudin, Stephen S. Intille, Emmanuel Mun...
Previous research has sought to utilize everyday messaging metaphors, such as the notice board, in location-based messaging systems. Unfortunately, many of the restrictions associ...
Matti Rantanen, Antti Oulasvirta, Jan Blom, Sauli ...
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...
Aiming at realization of direct and intuitive cooperation between human and robot, we propose an interface system for a two-wheeled, autonomous mobile robot that can take physical...