1937 search results - page 300 / 388 » Rule Based Updates on Simple Knowledge Bases |
123
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
148
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
115
click to vote
ISF
2007
15 years 3 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
146
click to vote
JCP
2007
15 years 3 months ago
2007
— Integrity of digital documents is a very important issue if they are to be legally binding. Common solutions, like digital signatures or message authentication codes, are based...
CCE
2005
15 years 3 months ago
2005
A new approach to separation process synthesis and selection of single separations is presented. The method is based on the reuse of existing design cases by case-based reasoning ...