Sciweavers

10454 search results - page 365 / 2091
» Modeling the Experience of Emotion
Sort
View
ICRA
2005
IEEE
123views Robotics» more  ICRA 2005»
16 years 13 days ago
Human Mental Models of Humanoid Robots
– Effective communication between a person and a robot may depend on whether there exists a common ground of understanding between the two. In two experiments modelled after huma...
Sau-lai Lee, Sara B. Kiesler, Ivy Yee-man Lau, Chi...
224
Voted
CIVR
2005
Springer
205views Image Analysis» more  CIVR 2005»
16 years 11 days ago
Automatic Image Semantic Annotation Based on Image-Keyword Document Model
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
Xiangdong Zhou, Lian Chen, Jianye Ye, Qi Zhang, Ba...
UML
2005
Springer
16 years 9 days ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
182
Voted
WEBI
2005
Springer
16 years 9 days ago
Information Domain Modeling for Adaptive Web Systems
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...
Wenpu Xing, Ali A. Ghorbani
CAV
2004
Springer
128views Hardware» more  CAV 2004»
16 years 7 days ago
Proving More Properties with Bounded Model Checking
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
Mohammad Awedh, Fabio Somenzi