4266 search results - page 232 / 854 » A Framework for Defining Logics |
149
click to vote
ISCI
2007
15 years 6 months ago
2007
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
175
click to vote
EUSAI
2003
Springer
15 years 12 months ago
2003
Springer
Human activity is extremely complex. Current technology allows us to handcraft real-time perception systems for a specific perceptual task. However, such an approach is inadequate ...
193
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Human activity is extremely complex. Current technology allows us to handcraft real-time perception systems for a specific perceptual task. However, such an approach is inadequate...
180
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
164
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...