Sciweavers

3765 search results - page 250 / 753
» Qualitative Action Systems
Sort
View
AUTOMATICA
2008
118views more  AUTOMATICA 2008»
15 years 7 months ago
Optimally switched linear systems
In this paper we address the problem of optimal switching for switched linear systems. The uniqueness of our approach lies in describing the switching action by multiple control i...
Tuhin Das, Ranjan Mukherjee
ENTCS
2007
97views more  ENTCS 2007»
15 years 7 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
IVC
2000
182views more  IVC 2000»
15 years 7 months ago
Expert system for automatic analysis of facial expressions
This paper discusses our expert system called Integrated System for Facial Expression Recognition (ISFER), which performs recognition and emotional classification of human facial ...
Maja Pantic, Léon J. M. Rothkrantz
AMI
2009
Springer
16 years 1 months ago
I Bet You Look Good on the Wall: Making the Invisible Computer Visible
The design ideal of the invisible computer, prevalent in the vision of ambient intelligence (AmI), has led to a number of interaction challenges. The complex nature of AmI environm...
Jo Vermeulen, Jonathan Slenders, Kris Luyten, Kari...
EUSAI
2007
Springer
16 years 1 months ago
Situated Public News and Reminder Displays
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...
Jörg Müller, Oliver Paczkowski, Antonio ...