1937 search results - page 134 / 388 » Rule Based Updates on Simple Knowledge Bases |
142
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
133
Voted
TIP
2008
15 years 4 months ago
2008
This paper proposes a non-Gaussian Markov field with a special feature: an explicit partition function. To the best of our knowledge, this is an original contribution. Moreover, th...
117
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
138
click to vote
CICLING
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an algorithm for dividing Spanish words into syllables. This algorithm is based on grammatical rules which were translated into a simple algorithm, easy to impl...
157
Voted
KDD
1998
ACM
15 years 9 months ago
1998
ACM
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...