Sciweavers

4229 search results - page 191 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
TCSV
2008
297views more  TCSV 2008»
15 years 6 months ago
Activity Analysis, Summarization, and Visualization for Indoor Human Activity Monitoring
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...
TABLEAUX
2009
Springer
16 years 29 days ago
Terminating Tableaux for the Basic Fragment of Simple Type Theory
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 ...
Chad E. Brown, Gert Smolka
ATAL
2009
Springer
15 years 11 months ago
Virtual institutions prototype
Virtual Institutions are Virtual Worlds with normative regulation of participants’ interactions. This paradigm is based on normative multiagent systems and is technologically su...
Anton Bogdanovych, Simeon J. Simoff, Marc Esteva
AGI
2008
15 years 7 months ago
Open Source AI
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...
Bill Hibbard
ACHI
2010
IEEE
16 years 1 months ago
Music Box: An Algorithm for Producing Visual Music
— 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...
Lindsay Grace