Sciweavers

4966 search results - page 201 / 994
» its 2010
Sort
View
ICMCS
2010
IEEE
185views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Visual speaker model exploration
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
Christian Beecks, Thilo Stadelmann, Bernd Freisleb...
ICML
2010
IEEE
15 years 7 months ago
Learning the Linear Dynamical System with ASOS
We develop a new algorithm, based on EM, for learning the Linear Dynamical System model. Called the method of Approximated Second-Order Statistics (ASOS) our approach achieves dra...
James Martens
APLAS
2010
ACM
15 years 6 months ago
A Certified Implementation of ML with Structural Polymorphism
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
Jacques Garrigue
CCS
2010
ACM
15 years 6 months ago
On the (in)security of IPsec in MAC-then-encrypt configurations
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
Jean Paul Degabriele, Kenneth G. Paterson
SMA
2010
ACM
223views Solid Modeling» more  SMA 2010»
15 years 6 months ago
Hyperbolic centroidal Voronoi tessellation
The centroidal Voronoi tessellation (CVT) has found versatile applications in geometric modeling, computer graphics, and visualization. In this paper, we extend the concept of the...
Guodong Rong, Miao Jin, Xiaohu Guo