2477 search results - page 227 / 496 » Approximate extended formulations |
159
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
190
click to vote
TNN
2008
15 years 6 months ago
2008
In this paper, a new kernel-based method for data visualization and dimensionality reduction is proposed. A reference point is considered corresponding to additional constraints ta...
228
click to vote
CGA
2005
15 years 6 months ago
2005
A novel Monte Carlo noise reduction operator is proposed in this paper. We apply and extend the standard bilateral filtering method and build a new local adaptive noise reduction k...
177
click to vote
JLP
2007
15 years 6 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
126
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--In this paper we present a GLRT-based adaptive detection algorithm for extended targets with improved rejection capabilities of mismatched signals. We assume that a set o...