9145 search results - page 161 / 1829 » Description Logic Systems |
134
click to vote
MUC
1992
15 years 9 months ago
1992
The GE-CMU team is developing the TIPSTER/SHOGUN system under the governmentsponsored TIPSTER program, which aims to advance coverage, accuracy, and portability in tex t interpret...
164
click to vote
ICSM
1997
IEEE
15 years 9 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
175
click to vote
USAB
2007
15 years 6 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
155
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
168
click to vote
RSP
1998
IEEE
15 years 9 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...