4320 search results - page 580 / 864 » Functional Objects |
209
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
Processing digital video directly in the compressed domain has many advantages in terms of storage efficiency, speed, and video quality. We have developed a compressed video editi...
242
Voted
HPTS
1993
15 years 10 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
195
click to vote
TYPES
1994
Springer
15 years 10 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
192
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
170
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...