3238 search results - page 370 / 648 » On the Computational Interpretation of Negation |
153
click to vote
UM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
138
click to vote
ICALT
2006
IEEE
16 years 21 days ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...
177
click to vote
IEEEARES
2006
IEEE
16 years 20 days 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...
153
click to vote
TPHOL
2006
IEEE
16 years 19 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
181
click to vote
SIGECOM
2005
ACM
16 years 6 days ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...