560 search results - page 79 / 112 » Interactive and intelligent visual communication systems |
TPHOL
1999
IEEE
14 years 15 days ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
CW
2003
IEEE
14 years 1 months ago
2003
IEEE
Presently, there are user interfaces that allow multimodal interactions. Many existing research and prototype systems introduced embodied agents, assuming that they allow a more n...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we propose a Web based agent system called MiSpider, which provides intelligent web services on web browsers. MiSpider enables users to use agents on existing brows...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...