Sciweavers

2075 search results - page 61 / 415
» aims 2007
Sort
View
SAMT
2007
Springer
114views Multimedia» more  SAMT 2007»
14 years 4 months ago
Legal Knowledge Acquisition and Multimedia Applications
Search, retrieval, and management of multimedia contents are challenging tasks for users and researchers alike. The aim of ESentencias Project is to develop a software-hardware sys...
Ciro Gracia, Pompeu Casanovas, Marta Poblet, Xavie...
SEKE
2007
Springer
14 years 4 months ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias
TSD
2007
Springer
14 years 4 months ago
Quality Deterioration Factors in Unit Selection Speech Synthesis
Abstract. The purpose of the present paper is to examine the relationships between target and concatenation costs and the quality (with focus on naturalness) of generated speech. S...
Daniel Tihelka, Jindrich Matousek, Jirí Kal...
TSD
2007
Springer
14 years 4 months ago
A Study on Speech with Manifest Emotions
We present a study of the prosody – seen in a broader sense – that supports the theory of the interrelationship function of speech. “Pure emotions” are meant to show a rela...
Horia-Nicolai L. Teodorescu, Silvia Monica Feraru
TYPES
2007
Springer
14 years 4 months ago
A Declarative Language for the Coq Proof Assistant
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
Pierre Corbineau