4488 search results - page 330 / 898 » Properties of NP-Complete Sets |
180
click to vote
FSS
2010
15 years 5 months ago
2010
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
178
click to vote
IANDC
2010
15 years 5 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
215
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...
195
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
220
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...