11376 search results - page 111 / 2276 » Willow System Demonstration |
131
click to vote
COLING
1990
15 years 7 months ago
1990
STS is a small experimental sentence translation system developed to demonstrate the efficiency of our lexicalist model of translation. Based on a GB-inspired parser, lexical tran...
151
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose two novel algorithms based on compressed-sensing theory to estimate and cancel narrow band interference (NBI) in orthogonal frequency division multiplexing (OFDM) syste...
135
click to vote
CAI
2005
Springer
15 years 6 months ago
2005
Springer
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e.,...
146
click to vote
LPNMR
2007
Springer
16 years 16 days ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...
167
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...