1565 search results - page 17 / 313 » An unlikely result |
CADE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
113
click to vote
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Studies on differential unitary space-time modulation are mostly focused on Rayleigh fading channels. In this paper we present new analytic results for the maximum-like...
ICCD
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper, we present a parallel-array implementation of a new non-restoring square root algorithm (PASQRT). The carry-save adder (CSA) is used in the parallel array. The PASQ...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
Skyline queries ask for a set of interesting points from a potentially large set of data points. If we are traveling, for instance, a restaurant might be interesting if there is n...
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...