Sciweavers

1387 search results - page 83 / 278
» Convexity in Discrete Space
Sort
View
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 3 months ago
Simulating space and time
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
Brian Whitworth
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 8 months ago
Left invertibility of discrete systems with finite inputs and quantized output
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
JAR
2008
88views more  JAR 2008»
15 years 6 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
TSP
2010
15 years 26 days ago
Generalized discrete Fourier transform with nonlinear phase
Constant modulus transforms like discrete Fourier transform (DFT), Walsh transform, and Gold codes have been successfully used over several decades in several engineering applicati...
Ali N. Akansu, Handan Agirman-Tosun
STOC
2003
ACM
193views Algorithms» more  STOC 2003»
16 years 6 months ago
Space efficient dynamic stabbing with fast queries
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
Mikkel Thorup