2106 search results - page 400 / 422 » Specifying C concepts |
SPIRE
2005
Springer
14 years 2 months ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...
TCGOV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...