16218 search results - page 159 / 3244 » Standards |
151
click to vote
TCS
2010
15 years 2 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
140
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study the lift-and-project procedures of Lov´asz-Schrijver and Sherali-Adams applied to the standard linear programming relaxation of the traveling salesperson problem with tr...
140
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we present a novel Radio Frequency Identification (RFID) system for accurate indoor localization. The system is composed of a standard Ultra High Frequency (UHF), I...
107
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
We consider the problem of image interpolation from an adaptive optimal recovery point of view. Many different standard interpolation approaches may be viewed through the prism of...
129
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper explores the issues involved in using symbolic metric algorithms for automatic speech recognition (ASR), via a structural representation of speech. This representation ...