1676 search results - page 279 / 336 » Formal System Development with KIV |
127
click to vote
NDSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...
134
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
133
click to vote
AAAI
2010
15 years 5 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
156
click to vote
ICCE
2007
15 years 5 months ago
2007
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
158
click to vote
AAAI
2006
15 years 5 months ago
2006
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...