Sciweavers

ICASSP
2009
IEEE
14 years 6 months ago
Comparing maximum a posteriori vector quantization and Gaussian mixture models in speaker verification
Gaussian mixture model - universal background model (GMMUBM) is a standard reference classifier in speaker verification. We have recently proposed a simplified model using vect...
Tomi Kinnunen, Juhani Saastamoinen, Ville Hautam&a...
CSFW
2009
IEEE
14 years 6 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
CSE
2009
IEEE
14 years 6 months ago
A Semantic Imitation Model of Social Tag Choices
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
Wai-Tat Fu, Thomas George Kannampallil, Ruogu Kang
CRV
2009
IEEE
115views Robotics» more  CRV 2009»
14 years 6 months ago
Learning Model Complexity in an Online Environment
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
Dan Levi, Shimon Ullman
EVOW
2009
Springer
14 years 6 months ago
Validation of a Morphogenesis Model of Drosophila Early Development by a Multi-objective Evolutionary Optimization Algorithm
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
Rui Dilão, Daniele Muraro, Miguel Nicolau, ...
HRI
2009
ACM
14 years 6 months ago
How to approach humans?: strategies for social robots to initiate interaction
This paper proposes a model of approach behavior with which a robot can initiate conversation with people who are walking. We developed the model by learning from the failures in ...
Satoru Satake, Takayuki Kanda, Dylan F. Glas, Mich...
ISBI
2009
IEEE
14 years 6 months ago
A Physical Basis for Multi-Fiber Reconstruction from DW-MRI Data
Recently various mathematical models have been proposed to model the signal attenuation obtained from Diffusion Weighted Magnetic Resonance Imaging (DW-MRI). Though effective to v...
Ritwik Kumar, Angelos Barmpoutis, Baba C. Vemuri, ...
HICSS
2009
IEEE
124views Biometrics» more  HICSS 2009»
14 years 6 months ago
Case Studies of an Insider Framework
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...
Matt Bishop, Sophie Engle, Sean Peisert, Sean Whal...
AVSS
2009
IEEE
14 years 6 months ago
A model change detection approach to dynamic scene modeling
—In this work we propose a dynamic scene model to provide information about the presence of salient motion in the scene, and that could be used for focusing the attention of a pa...
Seon Joo Kim, Gianfranco Doretto, Jens Rittscher, ...
CHI
2010
ACM
14 years 6 months ago
The generalized perceived input point model and how to double touch accuracy by extracting fingerprints
It is generally assumed that touch input cannot be accurate because of the fat finger problem, i.e., the softness of the fingertip combined with the occlusion of the target by the...
Christian Holz, Patrick Baudisch