593 search results - page 19 / 119 » tools 2011 |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we suggest how several competing image denoising algorithms, differing in design parameters, or even in design principles, can be combined together to yield a better...
85
Voted
CGF
2011
14 years 1 months ago
2011
Modern literary scholars must combine access to vast collections of text with the traditional close analysis of their field. In this paper, we discuss the design and development ...
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions. Categ...
72
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new...
84
Voted
CAV
2011
Springer
14 years 1 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...