168 search results - page 27 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
CIKM
2007
Springer
14 years 2 months ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
DIM
2007
ACM
14 years 15 days ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...