1073 search results - page 90 / 215 » Reasoning about Continuous Processes |
135
click to vote
SIAMCO
2000
15 years 6 months ago
2000
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
165
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
152
click to vote
POST
2012
14 years 1 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
179
click to vote
PAMI
2002
15 years 5 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
143
click to vote
IPPS
2009
IEEE
16 years 25 days ago
2009
IEEE
Failure detectors are a service that provides (approximate) information about process crashes in a distributed system. The well-known “eventually perfect” failure detector, 3P...