3928 search results - page 111 / 786 » order 2006 |
130
click to vote
IPM
2006
15 years 4 months ago
2006
Structured document retrieval makes use of document components as the basis of the retrieval process, rather than complete documents. The inherent relationships between these comp...
140
click to vote
JAPLL
2006
15 years 4 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
125
click to vote
JAT
2006
15 years 4 months ago
2006
We give a simple, geometric and explicit construction of bivariate interpolation at certain points in a square (called Padua points), giving compact formulas for their fundamental...
120
click to vote
JCM
2006
15 years 4 months ago
2006
In established communication systems prices are determined in a quasi-static way and for a large area according to a fixed price model. Additionally, the main decision criteria of ...
144
click to vote
JCM
2006
15 years 4 months ago
2006
This paper investigates the application of the delayed normalized least mean square (DNLMS) algorithm to echo cancellation. In order to reduce the amount of computations, DNLMS is ...