Sciweavers

737 search results - page 64 / 148
» State-dependent representation independence
Sort
View
FMSD
2002
107views more  FMSD 2002»
13 years 8 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»
13 years 8 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
13 years 7 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
14 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»
14 years 9 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