1511 search results - page 85 / 303 » Relational Parametricity for Computational Effects |
134
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
Fusing partial estimates is a critical and common problem
in many computer vision tasks such as part-based detection
and tracking. It generally becomes complicated and
intractab...
127
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
Multi-camera correspondence of moving people is a relatively new issue in computer vision. To cope with it, we propose a simple but effective method based on the principal axis of...
126
click to vote
TCS
2008
15 years 4 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
145
Voted
ICHIM
2001
15 years 5 months ago
2001
One of the outcomes of Moore's Law - according to which the exponential growth of technical advances in computer science is pushing more and more of our computers into obsole...
155
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...