4245 search results - page 543 / 849 » Input Modeling |
185
click to vote
ICBA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
142
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
In this paper is described a data-driven algorithm for the functionally correct spelling of MIDI pitch values in terms of Western musical notation. Input is in the form of MIDI fi...
148
click to vote
SEMWEB
2004
Springer
16 years 17 hour ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...
151
click to vote
TACAS
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
177
click to vote
TSD
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...