2302 search results - page 371 / 461 » Basic Description Logics |
146
click to vote
ENTCS
2011
14 years 11 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
171
click to vote
JUCS
2010
14 years 11 months ago
2010
: Intelligent Tutoring Systems (ITSs) constitute a popular type of intelligent educational systems. Domain Knowledge (DK) is a basic part of an ITS and usually includes information...
125
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
127
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
139
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...