Sciweavers

2737 search results - page 401 / 548
» interaction 2009
Sort
View
TLCA
2009
Springer
16 years 2 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
KDD
2009
ACM
174views Data Mining» more  KDD 2009»
16 years 2 months ago
Visual exploration of categorical and mixed data sets
For categorical data there does not exist any similarity measure which is as straight forward and general as the numerical distance between numerical items. Due to this it is ofte...
Sara Johansson
SEMCO
2009
IEEE
16 years 2 months ago
Detecting Attempts at Humor in Multiparty Meetings
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
Kornel Laskowski
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 2 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
ICMI
2009
Springer
125views Biometrics» more  ICMI 2009»
16 years 2 months ago
Speaker change detection with privacy-preserving audio cues
In this paper we investigate a set of privacy-sensitive audio features for speaker change detection (SCD) in multiparty conversations. These features are based on three different...
Sree Hari Krishnan Parthasarathi, Mathew Magimai-D...