4488 search results - page 136 / 898 » Properties of NP-Complete Sets |
121
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
143
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we introduce a novel way of modeling distributions with a low latent dimensionality. Our method allows for a strict control of the properties of the mapping between ...
175
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
142
click to vote
WADS
2007
Springer
15 years 11 months ago
2007
Springer
Connectivity augmentation problems ask for adding a set of at most k edges whose insertion makes a given graph satisfy a specified connectivity property, such as bridge-connectivi...
128
click to vote
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...