11066 search results - page 131 / 2214 » Linearity in Process Languages |
EUROITV
2007
Springer
14 years 2 months ago
2007
Springer
iTV does not yet have truly interactive programmes, that is programmes whose content adapts to the preferences of their viewers. In commercially deployed iTV productions, the progr...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. It has been widely used in many fields of information proces...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
FOSSACS
2012
Springer
12 years 3 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
ICALP
1997
Springer
14 years 11 days ago
1997
Springer