1636 search results - page 226 / 328 » Type-Theoretic Functional Semantics |
124
Voted
ICIAP
1999
ACM
15 years 7 months ago
1999
ACM
In this paper, we applied local warping techniques to construct a frame work of image-based morphing for facial expressions animation with low complexity. From the experience we o...
117
Voted
MPC
1998
Springer
15 years 7 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
122
Voted
ICSM
1996
IEEE
15 years 7 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
119
click to vote
INFOCOM
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, we present a network service specifically designed for multimedia servers. It uses a histogram based traffic characterization and an overload control protocol to el...
126
Voted
FTRTFT
1994
Springer
15 years 7 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...