5962 search results - page 539 / 1193 » Working with Patterns and Code |
240
click to vote
JCST
2010
15 years 1 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
174
click to vote
CCO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The first computer implementation of the Dantzig-FulkersonJohnson cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequa...
197
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
: The improvement of spectral efficiency comes at the cost of exponential increment of signal processing complexity [1]. Hence, the energy-efficiency of baseband has recently turne...
191
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only a single...
193
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
In this work, a framework for the reconstruction of smooth surface shapes from shading images is presented. The method is based on using a backpropagationbased neural network for ...