596 search results - page 31 / 120 » Integrated Distributed Description Logics |
KI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
CONCUR
1990
Springer
15 years 1 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
ISMVL
2007
IEEE
15 years 4 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
APWEB
2005
Springer
15 years 3 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
IKE
2004
14 years 11 months ago
2004
Flexible and effective indexing of video data so as to render it useful in automated inference and datadriven knowledge acquisition is a key problem in knowledge engineering. In t...