1532 search results - page 165 / 307 » Connection Relations in Mereotopology |
137
click to vote
JUCS
2008
15 years 6 months 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...
188
click to vote
JLP
2006
15 years 6 months 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...
156
click to vote
FOCM
2007
15 years 6 months 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...
148
click to vote
PC
2006
15 years 6 months 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...
150
click to vote
SIGECOM
2008
ACM
15 years 6 months 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...