310 search results - page 50 / 62 » A language and framework for invariant-driven transformation... |
ICS
1994
Tsinghua U.
13 years 12 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
ENTCS
2007
13 years 7 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
TASLP
2008
13 years 7 months ago
2008
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
SLOGICA
2002
13 years 7 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...