9145 search results - page 1566 / 1829 » Description Logic Systems |
227
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
141
click to vote
JFP
2000
15 years 3 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
156
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in ...
132
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
In current mobile navigation systems users receive the navigational instructions on a visual display or by descriptive audio. The mapping between the provided navigation informati...
167
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...