Sciweavers

2374 search results - page 170 / 475
» Automatic Generation of Model Translations
Sort
View
ICIP
2006
IEEE
16 years 8 months ago
Mesh-Based Motion-Compensated Interpolation for Side Information Extraction in Distributed Video Coding
1 This paper addresses the problem of side information generation in distributed video compression (DVC) schemes. Intermediate frames constructed by motioncompensated interpolation...
Denis Kubasov, Christine Guillemot
FROCOS
2011
Springer
14 years 6 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
ICASSP
2010
IEEE
15 years 6 months ago
Learning with synthesized speech for automatic emotion recognition
Data sparseness is an ever dominating problem in automatic emotion recognition. Using artificially generated speech for training or adapting models could potentially ease this: t...
Bjoern Schuller, Felix Burkhardt
ACL
2009
15 years 4 months ago
DEPEVAL(summ): Dependency-based Evaluation for Automatic Summaries
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...
Karolina Owczarzak
OTM
2007
Springer
16 years 20 days ago
Discovering Executable Semantic Mappings Between Ontologies
Creating executable semantic mappings is an important task for ontology-based information integration. Although it is argued that mapping tools may require interaction from humans ...
Han Qin, Dejing Dou, Paea LePendu