1136 search results - page 57 / 228 » A case for the accountable cloud |
134
click to vote
IGARSS
2009
15 years 3 months ago
2009
In civil engineering, usually the methods used to estimate the thickness of thin pavements consider flat interfaces for simplification. In this paper, the roughness of the surface...
150
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In this paper we present a novel approach to describe sound mixtures which is based on a geometric viewpoint. In this approach we extend the idea of a nearest-neighbor representat...
146
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In this paper we present a new sparse iterative covariance-based estimation approach, called SPICE, to the direction of arrival estimation problem. SPICE is obtained by the minimi...
166
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
171
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...