3342 search results - page 509 / 669 » Automating Abstract Interpretation |
KI
2010
Springer
13 years 9 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...
OTM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Many applications require the establishment of mappings between ontologies. Such mappings are established by domain experts or automated tools. Errors in mappings can int...
OTM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
PERCOM
2010
ACM
13 years 9 months ago
2010
ACM
Abstract—The online presence projected by a person is comprised of all the information about them available on the Internet. In online communities and social networking services,...
PKDD
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...