Sciweavers

379 search results - page 32 / 76
» Order in Space: A General Formalism for Spatial Reasoning
Sort
View
TWC
2008
150views more  TWC 2008»
13 years 8 months ago
Combining Beamforming and Space-Time Coding Using Quantized Feedback
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...
Siavash Ekbatani, Hamid Jafarkhani
TOG
2002
118views more  TOG 2002»
13 years 8 months ago
Frequency space environment map rendering
We present a new method for real-time rendering of objects with complex isotropic BRDFs under distant natural illumination, as specified by an environment map. Our approach is bas...
Ravi Ramamoorthi, Pat Hanrahan
MOBIHOC
2008
ACM
14 years 8 months ago
Using persistent homology to recover spatial information from encounter traces
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
Brenton D. Walker
TIME
1994
IEEE
14 years 18 days ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib
ESORICS
2008
Springer
13 years 10 months ago
State Space Reduction in the Maude-NRL Protocol Analyzer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
Santiago Escobar, Catherine Meadows, José M...