4609 search results - page 636 / 922 » Automatic Generation of Sigma-Protocols |
192
click to vote
EACL
2009
ACL Anthology
2009
ACL Anthology
Who is "You"? Combining Linguistic and Gaze Features to Resolve Second-Person References in Dialogue
15 years 4 months ago
We explore the problem of resolving the second person English pronoun you in multi-party dialogue, using a combination of linguistic and visual features. First, we distinguish gen...
194
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...
169
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...
150
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...
207
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...