Sciweavers

4190 search results - page 100 / 838
» Type Class Directives
Sort
View
139
Voted
AMFG
2005
IEEE
203views Biometrics» more  AMFG 2005»
15 years 8 months ago
Facial Expression Analysis Using Nonlinear Decomposable Generative Models
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...
Chan-Su Lee, Ahmed M. Elgammal
IMC
2003
ACM
15 years 7 months ago
Predicting resource usage and estimation accuracy in an IP flow measurement collection infrastructure
This paper describes a measurement infrastructure used to collect detailed IP traffic measurements from an IP backbone. Usage, i.e, bytes transmitted, is determined from raw NetF...
Nick G. Duffield, Carsten Lund
COORDINATION
2008
Springer
15 years 4 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
IFIP
2010
Springer
14 years 9 months ago
Secrecy and Authenticity Types for Secure Distributed Messaging
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
Michele Bugliesi, Stefano Calzavara, Damiano Maced...
111
Voted
FLOPS
2008
Springer
15 years 4 months ago
Typed Dynamic Control Operators for Delimited Continuations
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
Yukiyoshi Kameyama, Takuo Yonezawa