1155 search results - page 62 / 231 » A Decision-Theoretic Model of Assistance |
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
HT
2000
ACM
15 years 4 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
82
Voted
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
122
click to vote
ACSAC
1996
IEEE
15 years 3 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
92
Voted
ACL
2003
15 years 1 months ago
2003
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...