Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
Zhongna Zhou, Xi Chen, Yu-Chia Chung, Zhihai He, T...
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
Virtual Institutions are Virtual Worlds with normative regulation of participants’ interactions. This paradigm is based on normative multiagent systems and is technologically su...
Machines significantly more intelligent than humans will require changes in our legal and economic systems in order to preserve something of our human values. An open source design...
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...