5675 search results - page 24 / 1135 » Formalising Performative Interaction |
INTETAIN
2009
Springer
15 years 4 months ago
2009
Springer
This paper reports the design, implementation, and application of a new interface for augmenting performance and play on the low flying trapeze. Sensors were used to gauge the moti...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
In this study we deal with the mixing problem, which concerns combining the prediction of independently trained local models to form a global prediction. We deal with it from the ...
63
Voted
ATAL
2009
Springer
14 years 10 months ago
2009
Springer
This paper puts forward a normative framework for computational societies which enables the handling of incomplete knowledge about normative relations. In particular, attempts to p...
ARTMED
1999
14 years 9 months ago
1999
The process of reprogramming a cardiac pacemaker can be described in terms similar to those used for describing diagnostic problem solving. In this paper, the process of reprogram...