2381 search results - page 404 / 477 » On Ordering Descriptions in a Description Logic |
128
click to vote
SASN
2003
ACM
15 years 6 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....
100
click to vote
ICCBR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
103
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Do people from different cultures tag digital images differently? The current study compared the content of tags for digital images created by two cultural groups: European Americ...
119
click to vote
ASWEC
2009
IEEE
15 years 6 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...