1075 search results - page 53 / 215 » On Singular Interval Systems |
113
click to vote
ISI
2005
Springer
15 years 9 months ago
2005
Springer
Data distortion is a critical component to preserve privacy in security-related data mining applications, such as in data miningbased terrorist analysis systems. We propose a spars...
125
click to vote
AUTOMATICA
2002
15 years 3 months ago
2002
The objective of this paper is twofold. First, the problem of generation of real random matrix samples with uniform distribution in structured (spectral) norm bounded sets is stud...
122
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
123
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
160
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...