1982 search results - page 304 / 397 » Parametricity and dependent types |
LREC
2008
14 years 11 months ago
2008
In order to improve the flexibility and the precision of an automatic phone segmentation system for a type of expressive speech, the dubbing into French of fiction movies, we deve...
LREC
2008
14 years 11 months ago
2008
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
SCAI
2008
14 years 11 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
MVA
2007
14 years 11 months ago
2007
We introduce an algorithm for synchronizing two video sequences recorded by stationary cameras. It extends common RANSAC-based approaches that recover either a homography or a fun...
NIPS
2007
14 years 11 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...