3342 search results - page 509 / 669 » Automating Abstract Interpretation |
106
click to vote
KI
2010
Springer
15 years 22 days 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...
95
Voted
OTM
2010
Springer
15 years 22 days 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...
138
click to vote
OTM
2010
Springer
15 years 22 days 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 ...
128
Voted
PERCOM
2010
ACM
15 years 21 days 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,...
102
click to vote
PKDD
2010
Springer
15 years 21 days 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...