5675 search results - page 57 / 1135 » Formalising Performative Interaction |
105
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Television broadcasters are beginning to combine social micro-blogging systems such as Twitter with television to create social video experiences around events. We looked at one s...
111
click to vote
DATAMINE
2002
15 years 1 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
124
click to vote
HCI
2009
14 years 11 months ago
2009
We have explored using neurophysiologic patterns as an approach for developing a deeper understanding of how teams collaborate when solving time-critical, complex real-world proble...
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
The use of a cluster for distributed performance analysis of parallel trace data is discussed. We propose an analysis architecture that uses multiple cluster nodes as a server to ...
124
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...