Sciweavers

812 search results - page 64 / 163
» corr 2007
Sort
View
CORR
2007
Springer
88views Education» more  CORR 2007»
13 years 10 months ago
Faster subsequence recognition in compressed strings
Abstract. Processing compressed strings without decompression is often essential when dealing with massive data sets. We consider local subsequence recognition problems on strings ...
Alexandre Tiskin
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 10 months ago
Bootstrapping Deep Lexical Resources: Resources for Courses
We propose a range of deep lexical acquisition methods which make use of morphological, syntactic and ontological language resources to model word similarity and bootstrap from a ...
Timothy Baldwin
CORR
2007
Springer
99views Education» more  CORR 2007»
13 years 10 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 10 months ago
Computer algebra in systems biology
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
Reinhard C. Laubenbacher, Bernd Sturmfels
CORR
2007
Springer
151views Education» more  CORR 2007»
13 years 10 months ago
The algebraicity of the lambda-calculus
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
André Hirschowitz, Marco Maggesi