Sciweavers

4106 search results - page 281 / 822
» A Computational Model for Metric Spaces
Sort
View
GEOINFO
2003
15 years 8 months ago
Modelling Spatial Relations by Generalized Proximity Matrices
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...
Ana Paula Dutra de Aguiar, Gilberto Câmara, ...
ICMI
2010
Springer
220views Biometrics» more  ICMI 2010»
15 years 4 months ago
Visual speech synthesis by modelling coarticulation dynamics using a non-parametric switching state-space model
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
Salil Deena, Shaobo Hou, Aphrodite Galata
159
Voted
BIRTHDAY
2007
Springer
16 years 27 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
SPIN
2007
Springer
16 years 24 days ago
BEEM: Benchmarks for Explicit Model Checkers
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
Radek Pelánek
TCSV
2010
15 years 1 months ago
Image and Video Segmentation by Combining Unsupervised Generalized Gaussian Mixture Modeling and Feature Selection
In this letter, we propose a clustering model that efficiently mitigates image and video under/over-segmentation by combining generalized Gaussian mixture modeling and feature sele...
Mohand Saïd Allili, Djemel Ziou, Nizar Bougui...