10462 search results - page 140 / 2093 » Towards |
175
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
114
click to vote
STOC
2010
ACM
16 years 1 months ago
2010
ACM
We consider a number of dynamic problems with no known poly-logarithmic upper bounds, and show that they require n(1) time per operation, unless 3SUM has strongly subquadratic alg...
100
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
113
Voted
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
134
Voted
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Computer aided detection (CAD) of colonic polyps in computed tomographic colonography has tremendously impacted colorectal cancer diagnosis using 3D medical imaging. It i...