10462 search results - page 140 / 2093 » Towards an |
POPL
2010
ACM
14 years 7 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...
STOC
2010
ACM
14 years 7 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...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
ICS
2010
Tsinghua U.
14 years 7 months ago
2010
Tsinghua U.
MICCAI
2009
Springer
14 years 7 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...