8949 search results - page 1485 / 1790 » is 1998 |
198
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes an efficient method to make an individual face for animation from several possible inputs and how to use this result for a realistic talking head communication...
143
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
184
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
162
click to vote
WAN
1998
Springer
15 years 11 months ago
1998
Springer
PULC is a user-level communication library for workstation clusters. PULC provides a multi-user, multi-programming communication library for user level communication on top of high...
179
click to vote
WDAG
1998
Springer
15 years 11 months ago
1998
Springer
The explosion of the web has led to a situation where a majority of the traffic on the Internet is web related. Today, practically all of the popular web sites are served from sing...