1413 search results - page 25 / 283 » A new condensation principle |
CISIS
2010
IEEE
13 years 6 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
RAS
2010
13 years 6 months ago
2010
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
JSYML
2006
13 years 7 months ago
2006
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The ...
AML
2004
13 years 7 months ago
2004
We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of...
ICIAP
2005
ACM
14 years 1 months ago
2005
ACM
Abstract. This paper addresses the filtering problem when no assumption about linearity or gaussianity is made on the involved density functions. This approach, widely known as pa...