Sciweavers

722 search results - page 87 / 145
» Information Theory and Security: Quantitative Information Fl...
Sort
View
PLDI
2006
ACM
15 years 5 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
ACMACE
2007
ACM
15 years 3 months ago
Gaze-based infotainment agents
We propose an infotainment presentation system that relies on eye gaze as an intuitive and unobtrusive input modality. The system analyzes eye movements in real-time to infer user...
Helmut Prendinger, Tobias Eichner, Elisabeth Andr&...
HIS
2007
15 years 1 months ago
Organization-Oriented Chemical Programming
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
Peter Dittrich, Naoki Matsumaru
MM
2004
ACM
90views Multimedia» more  MM 2004»
15 years 5 months ago
Probability fusion for correlated multimedia streams
The fusion of multiple correlated observations of a multimedia system is a research problem arising in many multimedia applications. In this paper, we propose a novel framework fo...
Pradeep K. Atrey, Mohan S. Kankanhalli
ATAL
2003
Springer
15 years 5 months ago
Social navigation: modeling, simulation, and experimentation
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
Mark O. Riedl, Robert St. Amant