4592 search results - page 554 / 919 » Framework for Studying Substitution |
240
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
213
click to vote
ICMI
2010
Springer
15 years 5 months ago
2010
Springer
We study how synchronized gaze, gesture and speech rendered by an embodied conversational agent can influence the flow of conversations in multiparty settings. We review a computa...
235
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
203
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
207
click to vote
NAACL
2010
15 years 5 months ago
2010
For extractive meeting summarization, previous studies have shown performance degradation when using speech recognition transcripts because of the relatively high speech recogniti...