2143 search results - page 169 / 429 » corr 2010 |
139
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We have developed a full discourse parser in the Penn Discourse Treebank (PDTB) style. Our trained parser first identifies all discourse and non-discourse relations, locates and...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
159
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
For a single transmit and receive antenna system, a new constellation design is proposed to combat errors in the phase estimate of the channel coefficient. The proposed constellati...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
113
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no assoc...