4099 search results - page 635 / 820 » A Framework for Interactive Proof |
110
click to vote
ESAW
2004
Springer
15 years 10 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
105
click to vote
HUC
2004
Springer
15 years 10 months ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
144
click to vote
MLMI
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
119
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
When envisaging new digital instruments, designers do not have to limit themselves to their sonic capabilities (which can be absolutely any), not even to their algorithmic power; ...
128
click to vote
SBIA
2004
Springer
15 years 10 months ago
2004
Springer
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...