11374 search results - page 44 / 2275 » A System Demonstration of ST-TCP |
COLING
1990
15 years 29 days 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...
ICASSP
2010
IEEE
14 years 12 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...
CAI
2005
Springer
14 years 11 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.,...
PVLDB
2010
14 years 10 months ago
2010
We propose the demonstration of Keymantic, a system for keyword-based searching in relational databases that does not require a-priori knowledge of instances held in a database. I...
LPNMR
2007
Springer
15 years 6 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...