4211 search results - page 444 / 843 » Types as Abstract Interpretations |
172
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. The problem of searching for a model-based scene interpretation is analyzed within a probabilistic framework. Object models are formulated as generative models for range ...
164
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we present an approach to interpret handwritten digit strings by employing a two-stage segmentation and recognition scheme. The first stage processing is to deal wi...
179
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
183
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
158
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...