3907 search results - page 484 / 782 » Time, Knowledge, and Choice |
181
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
172
Voted
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources,...
169
Voted
CCS
2007
ACM
16 years 27 days ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
182
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
197
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...