6978 search results - page 1115 / 1396 » On Proofs in System P |
172
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
156
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Symmetric shared disks file systems are functional, versatile, and just plain cool. For these file systems to work, they require a global lock space, acessable to all clients. T...
141
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
163
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...
181
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...