Sciweavers

3937 search results - page 487 / 788
» Questioning Ubiquitous Computing
Sort
View
INFOVIS
2005
IEEE
16 years 6 days ago
Multivariate Glyphs for Multi-Object Clusters
Aggregating items can simplify the display of huge quantities of data values at the cost of losing information about the attribute values of the individual items. We propose a dis...
Eleanor Boyle Chlan, Penny Rheingans
ISIPTA
2005
IEEE
146views Mathematics» more  ISIPTA 2005»
16 years 6 days ago
Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
Jianzhong Zhang 0004, Daniel Berleant
LICS
2005
IEEE
16 years 6 days ago
On the Decidability of Metric Temporal Logic
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
Joël Ouaknine, James Worrell
158
Voted
ACII
2005
Springer
16 years 5 days ago
Affective Composites: Autonomy and Proxy in Pedagogical Agent Networks
This paper proposes an alternative paradigm for building affective competencies in embodied conversational agents (ECAs). The key feature of this approach -- and the reason for ref...
Eric R. Hamilton
AIED
2005
Springer
16 years 5 days ago
Dialogue-Learning Correlations in Spoken Dialogue Tutoring
We examine correlations between dialogue characteristics and learning in two corpora of spoken tutoring dialogues: a human-human corpus and a humancomputer corpus, both of which ha...
Katherine Forbes-Riley, Diane J. Litman, Alison Hu...