1218 search results - page 211 / 244 » The many facets of natural computing |
101
click to vote
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
Although emotions elicited by the fictional world or the artefact play a part in story-driven video games, they are certainly not the focus of the experience. From a cognitive psy...
RTA
2005
Springer
15 years 5 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...