3255 search results - page 528 / 651 » Combination of Abstractions in the ASTR |
LISP
2006
13 years 10 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...
MMS
2006
13 years 10 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...
MTA
2006
13 years 10 months ago
2006
Abstract. Query-by-example and query-by-keyword both suffer from the problem of "aliasing," meaning that example-images and keywords potentially have variable interpretat...
MVA
2006
13 years 10 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...
PAMI
2008
13 years 10 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...