Sciweavers

5205 search results - page 63 / 1041
» Tilings and model theory
Sort
View
IEEEPACT
2009
IEEE
14 years 3 months ago
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
Basilio B. Fraguela, Yevgen Voronenko, Markus P&uu...
SPIESR
2000
104views Database» more  SPIESR 2000»
13 years 10 months ago
Feature localization and search by object model under illumination change
Color object recognition methods that are based on image retrieval algorithms can handle changes of illumination via image normalization, e.g. simple color-channel-normalization1 ...
Mark S. Drew, Zinovi Tauber, Ze-Nian Li
ICPR
2010
IEEE
13 years 11 months ago
Near-Regular BTF Texture Model
—In this paper we present a method for seamless enlargement and editing of intricate near-regular type of bidirectional texture function (BTF) which contains simultaneously both ...
Michael Haindl, Martin Hatka
LPNMR
2007
Springer
14 years 3 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
JIIS
2002
102views more  JIIS 2002»
13 years 8 months ago
Using Dempster-Shafer's Theory of Evidence to Combine Aspects of Information Use
In this paper we propose a model for relevance feedback. Our model combines evidence from user's relevance assessments with algorithms describing how words are used within do...
Ian Ruthven, Mounia Lalmas