11374 search results - page 127 / 2275 » Demonstration of the CROSSMARC System |
169
click to vote
AAAI
1990
15 years 7 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
133
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...
154
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...
139
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.,...
147
click to vote
LPNMR
2007
Springer
16 years 21 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...