Sciweavers

3937 search results - page 487 / 788
» Questioning Ubiquitous Computing
Sort
View
180
Voted
INFOVIS
2005
IEEE
16 years 21 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 21 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 20 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
ACII
2005
Springer
16 years 20 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 19 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...