2316 search results - page 325 / 464 » The many forms of hypercomputation |
166
Voted
LLL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...
165
Voted
HPCN
1998
Springer
15 years 9 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
119
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
151
Voted
MPC
2010
Springer
15 years 9 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
145
Voted
CANDC
2009
ACM
15 years 9 months ago
2009
ACM
Computing technologies such as games, social networking sites, and virtual environments often reproduce forms of social stigma encountered in everyday real life, as well as introd...