168 search results - page 9 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
PERVASIVE
2007
Springer
14 years 2 months ago
2007
Springer
This paper discusses an alternative application area for ambient information systems, coined as ‘persuasive visualization’. It investigates the recent evolution of ambient dis...