Sciweavers

1583 search results - page 92 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
SCP
2010
155views more  SCP 2010»
13 years 6 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
CHI
2003
ACM
14 years 8 months ago
PhotoPhone entertainment
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
Johan Thoresson
IJBC
2010
116views more  IJBC 2010»
13 years 5 months ago
Recurrence Plots for Symbolic Sequences
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
Philippe Faure, Annick Lesne
TRECVID
2008
13 years 9 months ago
Oxford/IIIT TRECVID 2008 - Notebook paper
The Oxford/IIIT team participated in the high-level feature extraction and interactive search tasks. A vision only approach was used for both tasks, with no use of the text or aud...
James Philbin, Manuel J. Marín-Jimén...
AIED
2007
Springer
14 years 2 months ago
Mind and Body: Dialogue and Posture for Affect Detection in Learning Environments
We investigated the potential of automatic detection of a learner’s affective states from posture patterns and dialogue features obtained from an interaction with AutoTutor, an i...
Sidney K. D'Mello, Arthur C. Graesser