4029 search results - page 333 / 806 » Reconfigurable Systems in Education |
184
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We report on two corpora to be used in the evaluation of component systems for the tasks of (1) linear segmentation of text and (2) summary-directed sentence extraction. We presen...
122
Voted
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...
214
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Anisotropic decompositions using representation systems such as curvelets, contourlet, or shearlets have recently attracted significantly increased attention due to the fact that...
201
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
170
click to vote
ICA3PP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when dat...