28 search results - page 3 / 6 » Complete Axiomatisations of Properties of Finite Sets |
82
Voted
DM
2008
14 years 9 months ago
2008
In this paper we are concerned with the following question: for a semigroup S, what is the largest size of a subsemigroup T S where T has a given property? The semigroups S that w...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
77
Voted
ANOR
2008
14 years 9 months ago
2008
Abstract Given a collection of individual preferences defined on a same finite set of candidates, we consider the problem of aggregating them into a collective preference minimizin...
IFIP
1998
Springer
15 years 1 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
JNS
2010
14 years 4 months ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...