2646 search results - page 142 / 530 » Local Type Inference |
145
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
High-level generative models provide elegant descriptions of videos and are commonly used as the inference framework in many unsupervised motion segmentation schemes. However, app...
157
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the problem of producing visible spectrum facial images as we normally see by using thermal infrared images. We apply Canonical Correlation Analysis (CCA)...
159
Voted
SRDS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Fault localization in enterprise networks is extremely challenging. A recent approach called Sherlock makes some headway into this problem by using an inference algorithm...
151
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
169
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...