4353 search results - page 612 / 871 » Expressiveness of Process Algebras |
148
click to vote
TCOM
2008
15 years 6 months ago
2008
A simple method of improving OFDM (orthogonal frequency division multiplexing) receiver performance in an impulsive noise environment is to precede a conventional OFDM demodulator...
156
click to vote
JNCA
2007
15 years 6 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
141
Voted
TWC
2008
15 years 6 months ago
2008
In this paper the performance of the reverse link of a multicell DS-CDMA system with coexisting open-loop and closed-loop power controlled users transmitting heterogeneous traffic ...
179
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
134
click to vote
LISP
2007
15 years 6 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...