3384 search results - page 434 / 677 » More Testable Properties |
167
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
144
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
177
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
172
click to vote
BERTINORO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Peer-to-peer networks have often been touted as the ultimate solution to scalability. Although cooperative techniques have been initially used almost exclusively for cont...
156
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...