1411 search results - page 167 / 283 » Case Studies of an Insider Framework |
79
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
HUC
2004
Springer
15 years 4 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 ...
ICA
2004
Springer
2004
Springer
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
15 years 4 months ago
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...