2705 search results - page 316 / 541 » Formal Ontology for Subject |
102
Voted
COSIT
2001
Springer
15 years 5 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
80
Voted
OOPSLA
2001
Springer
15 years 5 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
107
Voted
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
96
Voted
COLT
2000
Springer
15 years 5 months ago
2000
Springer
We give the first rigorous upper bounds on the error of temporal difference (td) algorithms for policy evaluation as a function of the amount of experience. These upper bounds pr...
110
click to vote
SP
1996
IEEE
15 years 4 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...