The increased use of information technology (IT) support for group decision making has augmented the need for research on the performance of groups using such support. The use of ...
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
In this paper, we propose an efficient and robust fall detection system by using a fuzzy one class support vector machine based on video information. Two cameras are used to capt...