811 search results - page 64 / 163 » Probabilistic Semantics and Program Analysis |
114
click to vote
IADIS
2004
15 years 4 months ago
2004
Relevance feedback has been considered as a means of incorporating learning into information retrieval systems for quite sometime now. This paper discusses the research results of...
117
Voted
ICADL
2003
Springer
15 years 7 months ago
2003
Springer
There is an increasing need of development of automatic tools to annotate images for effective image searching in digital libraries. In this paper, we present a novel probabilistic...
119
Voted
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we propose a novel approach for scene modeling. The proposed method is able to automatically discover the intermediate semantic concepts. We utilize Maximization of...
112
Voted
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Efficiently detecting near duplicate resources is an important task when integrating information from various sources and applications. Once detected, near duplicate reso...
229
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...