142 search results - page 7 / 29 » Variability encoding: From compile-time to load-time variabi... |
113
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
168
Voted
TASLP
2010
14 years 10 months ago
2010
This article addresses the modeling of reverberant recording environments in the context of under-determined convolutive blind source separation. We model the contribution of each ...
104
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The new eSBR tool of MPEG-D Universal Speech and Audio Coding offers a great advantage in compression of high frequency content, however it produces audible artifacts for sounds w...
135
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
126
Voted
CRV
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider the problem of vision-based position estimation in urban environments. In particular, we are interested in position estimation from visual cues, but using only limited...