1628 search results - page 185 / 326 » Compiler Construction Using Scheme |
153
click to vote
AAAI
2004
15 years 6 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
131
Voted
AUTOMATICA
2010
15 years 5 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
136
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...
154
click to vote
JSAC
2008
15 years 4 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...
149
click to vote
MICS
2010
15 years 3 months ago
2010
Abstract. A Range Minimum Query asks for the position of a minimal element between two specified array-indices. We consider a natural extension of this, where our further constrai...