2287 search results - page 359 / 458 » Making it Real |
147
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
122
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
205
Voted
PLPV
2011
ACM
14 years 6 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
154
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Deblurring images of moving objects captured from a traditional camera is an ill-posed problem due to the loss of high spatial frequencies in the captured images. Recent techniques...
150
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We consider the problem of single image object motion deblurring from a static camera. It is well known that deblurring of moving objects using a traditional camera is ill-posed, d...