Sciweavers

1451 search results - page 41 / 291
» Order independence and rationalizability
Sort
View
CADE
2004
Springer
16 years 6 months ago
Uniform variable splitting
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
Roger Antonsen
TSP
2010
15 years 1 months ago
On entropy rate for the complex domain and its application to i.i.d. sampling
We derive the entropy rate formula for a complex Gaussian random process by using a widely linear model. The resulting expression is general and applicable to both circular and non...
Wei Xiong, Hualiang Li, Tülay Adali, Yi-Ou Li...
CORR
2011
Springer
194views Education» more  CORR 2011»
14 years 10 months ago
Efficient Maximum Likelihood Estimation of a 2-D Complex Sinusoidal Based on Barycentric Interpolation
This paper presents an efficient method to compute the maximum likelihood (ML) estimation of the parameters of a complex 2-D sinusoidal, with the complexity order of the FFT. The...
J. Selva
AI
1999
Springer
15 years 6 months ago
Learning Action Strategies for Planning Domains
There are many different approaches to solving planning problems, one of which is the use of domain specific control knowledge to help guide a domain independent search algorithm. ...
Roni Khardon
ICIP
2010
IEEE
15 years 4 months ago
Compressed sensing of multiview images using disparity compensation
Compressed sensing is applied to multiview image sets and interimage disparity compensation is incorporated into image reconstruction in order to take advantage of the high degree...
Maria Trocan, Thomas Maugey, Eric W. Tramel, James...