Sciweavers

737 search results - page 64 / 148
» State-dependent representation independence
Sort
View
FMSD
2002
107views more  FMSD 2002»
14 years 9 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
CGF
2008
106views more  CGF 2008»
14 years 9 months ago
Raycasting of Light Field Galleries from Volumetric Data
The paper describes a technique to generate high-quality light field representations from volumetric data. We show how light field galleries can be created to give unexperienced a...
Christof Rezk-Salama, Severin Todt, Andreas Kolb
SPATIALCOGNITION
2010
Springer
14 years 8 months ago
Can Mirror-Reading Reverse the Flow of Time?
Abstract. Across cultures, people conceptualize time as if it flows along a horizontal timeline, but the direction of this implicit timeline is culture-specific: in cultures with l...
Daniel Casasanto, Roberto Bottini
SIGIR
1996
ACM
15 years 1 months ago
Retrieval of Complex Objects Using a Four-Valued Logic
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
Thomas Rölleke, Norbert Fuhr
STOC
2003
ACM
188views Algorithms» more  STOC 2003»
15 years 10 months ago
Almost random graphs with simple hash functions
We describe a simple randomized construction for generating pairs of hash functions h1, h2 from a universe U to ranges V = [m] = {0, 1, . . . , m - 1} and W = [m] so that for ever...
Martin Dietzfelbinger, Philipp Woelfel