2949 search results - page 169 / 590 » Transformations in Information Supply |
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we present a web-based Distributed Virtual Learning Environment (DVLE) that could be used as a sophisticated tool for distance education and collaboration between t...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
One of the difficulties of Content-Based Image Retrieval (CBIR) is the gap between high-level concepts and low-level image features, e.g., color and texture. Relevance feedback wa...
IMR
1999
Springer
14 years 1 months ago
1999
Springer
The work described here addresses information generated during mesh preprocessing, specifically mesh quality indicators derived on a per-element basis. A technique is introduced f...
QCQC
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We consider the communication complexity of the binary inner product function in a variation of the two-party scenario where the parties have an a priori supply of partic...