Sciweavers

1746 search results - page 200 / 350
» On the expressiveness of interaction
Sort
View
JAIR
2006
128views more  JAIR 2006»
15 years 6 months ago
Cognitive Principles in Robust Multimodal Interpretation
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
Joyce Yue Chai, Zahar Prasov, Shaolin Qu
JCS
2011
72views more  JCS 2011»
15 years 1 months ago
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
Boris Köpf, David A. Basin
FOSSACS
2010
Springer
16 years 1 months ago
Solvability in Resource Lambda-Calculus
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
Michele Pagani, Simona Ronchi Della Rocca
APLAS
2004
ACM
15 years 12 months ago
Network Fusion
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
Pascal Fradet, Stéphane Hong Tuan Ha
PUC
2002
150views more  PUC 2002»
15 years 6 months ago
New Active Tools for Supporting Narrative Structures
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
Françoise Decortis, Antonio Rizzo