452 search results - page 52 / 91 » date 2010 |
104
click to vote
ICISP
2010
Springer
15 years 3 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
BIBE
2010
IEEE
15 years 28 days ago
2010
IEEE
This manuscript presents the most rigorous benchmarking of gene annotation algorithms for metagenomic datasets to date. We compare three different programs: GeneMark, MetaGeneAnnot...
100
click to vote
CADE
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
ISLPED
2010
ACM
15 years 1 days ago
2010
ACM
Accurately modeling server power consumption is critical in designing data center power provisioning infrastructure. However, to date, most research proposals have used average CP...
ICASSP
2010
IEEE
15 years 19 hour ago
2010
IEEE
Action recognition is an important but challenging problem in video analytics with a number of solutions proposed to date. However, even if a reliable model for action representat...