851 search results - page 96 / 171 » Automatic Record Reviews |
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
SIGCPR
2006
ACM
14 years 3 months ago
2006
ACM
Podcasting represents a new and exciting learning paradigm within an academic setting. Materials such conference reports, research manuscripts, and course lectures can be recorded...
ICANN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
AVBPA
2005
Springer
14 years 2 months ago
2005
Springer
The accurate selection of the utterances is very important to obtain right estimated speaker models in speaker verification. In this sense, it is important to determine the quality...
MLMI
2004
Springer
14 years 2 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...