Sciweavers

2701 search results - page 199 / 541
» On the form of witness terms
Sort
View
JAT
2007
83views more  JAT 2007»
15 years 6 months ago
Characterization and perturbation of Gabor frame sequences with rational parameters
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...
Marcin Bownik, Ole Christensen
TVCG
2008
127views more  TVCG 2008»
15 years 6 months ago
EMDialog: Bringing Information Visualization into the Museum
Digital interactive information displays are becoming more common in public spaces such as museums, galleries, and libraries. However, the public nature of these locations requires...
Uta Hinrichs, Holly Schmidt, M. Sheelagh T. Carpen...
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 6 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
ENTCS
2002
128views more  ENTCS 2002»
15 years 6 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
SIAMCO
2000
123views more  SIAMCO 2000»
15 years 6 months ago
Adaptive LQG Control of Input-Output Systems---A Cost-biased Approach
In this paper, we consider linear systems in input-output form and introduce a new adaptive linear quadratic Gaussian (LQG) control scheme which is shown to be self-optimizing. The...
Maria Prandini, Marco C. Campi