160 search results - page 5 / 32 » Homomorphism preservation theorems |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
LCC
1994
13 years 11 months ago
1994
AML
2007
13 years 7 months ago
2007
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
With the advent of large-scale cloud computing infrastructures, network extension has emerged as a major challenge in the management of modern enterprise networks. Many enterprise...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper we derive a sampling theorem, which is the first one to guarantee topology preservation during digitization of 3D objects. This new theorem is applicable to several ...