4814 search results - page 639 / 963 » Combining abstract interpreters |
177
click to vote
LISP
2006
15 years 6 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
154
click to vote
MMS
2006
15 years 6 months ago
2006
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
164
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract Image retrieval has nowadays several industrial applications. In these imaging applications, which typically use large image archives, the matter of computational efficien...
162
Voted
PAMI
2008
15 years 6 months ago
2008
Abstract-- Extending traditional models for discriminative labeling of structured data to include higher-order structure in the labels results in an undesirable exponential increas...
151
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...