2687 search results - page 363 / 538 » Formal Analysis of PKCS |
178
click to vote
CMMR
2004
Springer
15 years 12 months ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
173
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
174
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
145
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...