469 search results - page 32 / 94 » Putting curry-howard to work |
TIP
2008
13 years 7 months ago
2008
Abstract--Sparse representations of signals have drawn considerable interest in recent years. The assumption that natural signals, such as images, admit a sparse decomposition over...
JEI
2007
13 years 7 months ago
2007
In this work, we propose a novel fragile watermarking scheme in wavelet transform domain, which is sensitive to all kinds of manipulations and has the ability to localize the tamp...
JOT
2007
13 years 7 months ago
2007
In this column, I summarize the 12 worst of the most common requirements engineering problems I have observed over many years working on and with real projects as a requirements e...
JOT
2007
13 years 7 months ago
2007
Aspect Oriented Programming proposes an approach to increase code functionality with aspects that are not part of the main code functionality. The current work shows how can be do...
JUCS
2007
13 years 7 months ago
2007
: Writing applications are currently designed for desktop personal computers. Mobile devices like PDAs or smart phones are increasingly being used for mobile applications such as a...