Sciweavers

242 search results - page 28 / 49
» Variable resolution triangulations
Sort
View
ICASSP
2011
IEEE
13 years 4 days ago
Compressive sampling with a successive approximation ADC architecture
This paper proposes a compressive sampling scheme based on random temporal sampling using a successive approximation register (SAR) ADC architecture. Variable wordlength data samp...
Chenchi Luo, James H. McClellan
CADE
2008
Springer
14 years 8 months ago
Bit Inference
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
Nachum Dershowitz
GECCO
2009
Springer
131views Optimization» more  GECCO 2009»
14 years 1 months ago
Application of a simple binary genetic algorithm to a noiseless testbed benchmark
One of the earliest evolutionary computation algorithms, the genetic algorithm, is applied to the noise-free BBOB 2009 testbed. It is adapted to the continuous domain by increasin...
Miguel Nicolau
CDC
2010
IEEE
111views Control Systems» more  CDC 2010»
13 years 3 months ago
The internal model principle: Asymptotic tracking and regulation in the behavioral framework
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
Shaik Fiaz, Kiyotsugu Takaba, Harry L. Trentelman
IPL
2007
99views more  IPL 2007»
13 years 8 months ago
Substitutions into propositional tautologies
We prove that there is a polynomial time substitution (y1, . . . , yn) := g(x1, . . . , xk) with k << n such that whenever the substitution instance A(g(x1, . . . , xk)) of ...
Jan Krajícek