3291 search results - page 326 / 659 » Technology and Challenges of M-Commerce |
174
Voted
CSL
1999
Springer
15 years 11 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
165
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
Abstract -- This paper describes the use of a hierarchical design representation standard, CHDStd, as part of the architecture of the Chip Hierarchical Design System (CHDS). Detail...
165
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
203
click to vote
FC
1998
Springer
15 years 11 months ago
1998
Springer
Digital watermarking is a nascent but promising technology that offers protection of unencrypted digital content. This paper is a brief technical survey of the multimedia watermark...
180
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we evaluate two different approaches for the compiler-based parallelisation of a C program for MPEG-2 decoding. The first approach experiments with a commercial auto...