4212 search results - page 641 / 843 » Rights Expression Languages |
164
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
196
click to vote
AIEDAM
1999
15 years 6 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
165
click to vote
JANCL
2002
15 years 6 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
171
click to vote
SP
2002
IEEE
15 years 6 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...
153
click to vote
TASLP
2002
15 years 6 months ago
2002
With the rapidly growing use of the audio and multimedia information over the Internet, the technology for retrieving speech information using voice queries is becoming more and mo...