274 search results - page 35 / 55 » corr 2004 |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
The University of Edinburgh has a significant interest in mass storage systems as it is one of the core groups tasked with the roll out of storage software for the UK's parti...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Maximum-likelihood decoding is one of the central algorithmic problems in coding theory. It has been known for over 25 years that maximum-likelihood decoding of general linear cod...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...