1690 search results - page 252 / 338 » Algorithmic Properties of Millstream Systems |
159
click to vote
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
141
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
137
Voted
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
128
click to vote
SGP
2003
15 years 2 months ago
2003
We solve the problem of computing global conformal parameterizations for surfaces with nontrivial topologies. The parameterization is global in the sense that it preserves the con...