Sciweavers

2954 search results - page 242 / 591
» Beyond
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Security analysis for privacy preserving search of multimedia
With the increasing popularity of digital multimedia such as images and videos and the advent of the cloud computing paradigm, a fast growing amount of private and sensitive multi...
Wenjun Lu, Avinash L. Varna, Min Wu
ICIP
2010
IEEE
15 years 4 months ago
Multiframe blind deconvolution, super-resolution, and saturation correction via incremental EM
We formulate the multiframe blind deconvolution problem in an incremental expectation maximization (EM) framework. Beyond deconvolution, we show how to use the same framework to a...
Stefan Harmeling, Suvrit Sra, Michael Hirsch, Bern...
MEMOCODE
2010
IEEE
15 years 4 months ago
A formal executable semantics of Verilog
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
Patrick O'Neil Meredith, Michael Katelman, Jos&eac...
SIGSOFT
2010
ACM
15 years 4 months ago
Extending software engineering research outside the digital box
Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...
Barry W. Boehm
ACL
2009
15 years 4 months ago
Data Cleaning for Word Alignment
Parallel corpora are made by human beings. However, as an MT system is an aggregation of state-of-the-art NLP technologies without any intervention of human beings, it is unavoida...
Tsuyoshi Okita