2642 search results - page 54 / 529 » The development of Chez Scheme |
AAAI
2004
13 years 11 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...
ANLP
1997
13 years 11 months ago
1997
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...
JSAC
2007
13 years 9 months ago
2007
Abstract— In this paper, we develop a coded MIMO FHCDMA transceiver that is robust to partial-band jamming and the near-far problem for ad hoc networks with high mobility. Spatia...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
—We develop sub-Nyquist sampling systems for analog signals comprised of several, possibly overlapping, finite duration pulses with unknown shapes and time positions. Efficient...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...