11374 search results - page 127 / 2275 » Demonstration of the CROSSMARC System |
179
Voted
AAAI
1990
15 years 8 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...
139
Voted
COLING
1990
15 years 8 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...
163
Voted
ICASSP
2010
IEEE
15 years 7 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...
147
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.,...
156
click to vote
LPNMR
2007
Springer
16 years 1 months 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...