Sciweavers

381 search results - page 16 / 77
» Interactive data Analysis: The Control Project
Sort
View
IVA
2007
Springer
15 years 7 months ago
Analyzing Gaze During Face-to-Face Interaction
We present here the analysis of multimodal data gathered during realistic face-to-face interaction of a target speaker with a number of interlocutors. Videos and gaze have been mon...
Stephan Raidt, Gérard Bailly, Fréd&e...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 5 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
TSE
1998
85views more  TSE 1998»
15 years 1 months ago
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh
CHI
2003
ACM
15 years 6 months ago
SeismoSpin: a physical instrument for digital data
SeismoSpin is a novel interactive instrument designed around a “Disc-Jockey/mixer” metaphor that gives seismologists a quick and powerful way to explore earthquake data. The c...
Mark McKelvin, Ragnhild Nestande, Leticia Valdez, ...
EGOV
2008
Springer
15 years 2 months ago
Control, De-politicization and the eState
Using an extensive case analysis of the Bhoomi system of India, this paper examines the role and nature of the state with regards to the rationale for and deployment of e-governmen...
Rahul De'