3690 search results - page 546 / 738 » Computation with classical sequents |
109
click to vote
SISAP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we introduce a new M-tree building method, utilizing the classic idea of forced reinsertions. In case a leaf is about to split, some distant objects are removed from...
144
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
—UWB technology can reach centimetre level ranging and positioning accuracy in LOS propagation when time of arrival techniques are used. However, in a real positioning system, th...
144
click to vote
WIMOB
2008
IEEE
15 years 11 months ago
2008
IEEE
—Cross-layer design has been proposed as a promising paradigm to tackle various problems of wireless communication systems. Recent research has led to a variety of protocols that...
140
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Despite having a wide-spread applicability of evolutionary optimization procedures over the past few decades, EA researchers still face criticism about the theoretical optimali...
172
click to vote
ENC
2007
IEEE
15 years 11 months ago
2007
IEEE
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...