Sciweavers

4229 search results - page 190 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
AAAI
2008
15 years 8 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan
PG
2002
IEEE
15 years 11 months ago
Combining 2D Feature Tracking and Volume Reconstruction for Online Video-Based Human Motion Capture
The acquisition of human motion data is of major importance for creating interactive virtual environments, intelligent user interfaces, and realistic computer animations. Today’...
Christian Theobalt, Marcus A. Magnor, Pascal Sch&u...
ECAI
2010
Springer
15 years 7 months ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
FGR
1998
IEEE
107views Biometrics» more  FGR 1998»
15 years 10 months ago
MMID: Multimodal Multi-view Integrated Database for Human Behavior Understanding
This paper introduces the Multimodal Multi-view Integrated Database (MMID), which holds human activities in presentation situations. MMID contains audio, video, human body motions...
Yuichi Nakamura, Yoshifumi Kimura, Y. Yu, Yuichi O...
ICAT
2006
IEEE
16 years 14 days ago
Exploring Human-Robot Interaction Through Telepresence Board Games
Abstract. This paper presents an experimental test bed for exploring and evaluating human-robot interaction (HRI). Our system is designed around the concept of playing board games ...
Min Xin, Ehud Sharlin