1626 search results - page 130 / 326 » Subtyping with Power Types |
154
click to vote
ADS
2004
Springer
15 years 9 months ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
131
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a silicon-on-insulator (SOI) pass-transistor logic (PTL) gate with an active body bias control circuit and compare the proposed PTL gate with other types of PTL gates w...
121
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
168
click to vote
ASSETS
1994
ACM
15 years 8 months ago
1994
ACM
ls of abstraction which make up a graphical user interface. The Power of GUIs For much of their history, computers have been capable of presenting only textual and numeric data to ...
132
click to vote
CAIP
2009
Springer
15 years 8 months ago
2009
Springer
A new type of affine moment invariants for color images is proposed in this paper. The traditional affine moment invariants can be computed on each color channel separately, yet wh...