5830 search results - page 811 / 1166 » Automatic link generation |
199
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
171
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a human-centered picture slideshow system for mobile users. In contrast to conventional ROIs (region-of-interest) detection based systems, we provide mobile us...
155
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
To improve the expressiveness of speech synthesis, the paper proposes a model to simulate the prosody features of exclamatory speech with modal tags. While compared with reading s...
212
click to vote
IDA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
185
click to vote
AIRS
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a novel approach of improving multi-document summarization based on cross-document information extraction (IE). We describe a method to automatically incorpora...