2646 search results - page 405 / 530 » Local Type Inference |
146
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
In this paper we consider the problem of recovering the free space of an indoor scene from its single image. We show that exploiting the box like geometric structure of furniture ...
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
DRM
2003
Springer
15 years 6 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
107
Voted
BMCBI
2010
15 years 27 days ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
107
Voted
BMCBI
2010
15 years 27 days ago
2010
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...