5084 search results - page 384 / 1017 » Proving Possibility Properties |
106
click to vote
SIAMMA
2010
15 years 1 months ago
2010
The aim of this paper is to investigate the mathematical properties of a continuum model for diffusion of multiple species incorporating size exclusion effects. The system for two ...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Multiplicative update algorithms have encountered a great success to solve optimization problems with non-negativity constraints, such as the famous non-negative matrix factorizat...
233
click to vote
AML
2011
14 years 10 months ago
2011
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated ...
203
click to vote
DLOG
2011
14 years 10 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
188
click to vote
ENTCS
2011
14 years 10 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...