3238 search results - page 249 / 648 » On the Computational Interpretation of Negation |
153
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...
173
click to vote
KI
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
170
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Guidebots, or animated pedagogical agents, can enhance interactive learning environments by promoting deeper learning and improve the learner's subjective experience. Guidebo...
124
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Information technology is one potential object of responsibility as we know from texts about computer ethics, information ethics etc. This article aims to demonstrate that the eth...
162
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...