160 search results - page 5 / 32 » Homomorphism preservation theorems |
128
Voted
IFIP
2009
Springer
15 years 10 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...
116
Voted
AML
2007
15 years 3 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...
130
Voted
CORR
2010
Springer
15 years 3 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...
109
click to vote
ICPR
2006
IEEE
16 years 4 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 ...