1532 search results - page 165 / 307 » Connection Relations in Mereotopology |
78
Voted
JUCS
2008
15 years 21 days ago
2008
: Software adaptation techniques appear in many disparate areas of research literature, and under many guises. This paper enables a clear and uniform understanding of the related r...
98
Voted
JLP
2006
15 years 21 days ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
103
Voted
FOCM
2007
15 years 21 days ago
2007
Abstract. We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in Rn and related problems of complex integration and opt...
84
Voted
PC
2006
15 years 20 days ago
2006
In this work, we discuss an extension of the set of principles that should guide the future design and development of skeletal programming systems, as defined by Cole in his ``pra...
92
Voted
SIGECOM
2008
ACM
15 years 20 days ago
2008
ACM
We consider the amount of communication required to verify the outcome of the Vickrey-Clarke-Groves (VCG) mechanism: an efficient allocation together with incentivizing VCG paymen...