1536 search results - page 246 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an automatic Australian sign language (Auslan) recognition system, which tracks multiple target objects (the face and hands) throughout an image sequence and e...
AI
2005
Springer
13 years 7 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
JUCS
2007
13 years 7 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
AROBOTS
2002
13 years 7 months ago
2002
In robotics, the idea of human and robot interaction is receiving a lot of attention lately. In this paper, we describe a multi-modal system for generating a map of the environment...