853 search results - page 113 / 171 » Combining Data and Mathematical Models of Language Change |
100
click to vote
DLOG
2003
14 years 11 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
103
click to vote
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
Image registration and 3D reconstruction are fundamental computer vision and medical imaging problems. They are particularly challenging when the input data are images of a deform...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The SRI speaker recognition system for the 2008 NIST speaker recognition evaluation (SRE) incorporates a variety of models and features, both cepstral and stylistic. We highlight ...
COLING
2008
14 years 11 months ago
2008
We define the task of incremental or 0lag utterance segmentation, that is, the task of segmenting an ongoing speech recognition stream into utterance units, and present first resu...