13734 search results - page 306 / 2747 » Abstractions of data types |
133
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper investigates the usage of various types of language models on polarity text classification
169
click to vote
PDPTA
1996
15 years 8 months ago
1996
A novel parallel algorithm for matrix multiplication is presented. It is based on a 1-D hyper-systolic processor abstraction. The procedure can be implemented on all types of para...
153
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
170
click to vote
IFL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
146
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...