4106 search results - page 35 / 822 » A Computational Model for Metric Spaces |
DSSCV
2005
Springer
14 years 1 months ago
2005
Springer
The geometry of “empty” scale space is investigated. By virtue of the proposed geometric axioms the generating PDE, the linear isotropic heat equation, can be presented in cova...
CDC
2009
IEEE
14 years 15 days ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
ENTCS
2008
13 years 7 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
ALGORITHMICA
2010
13 years 8 months ago
2010
It is well-known that the greedy algorithm produces high quality spanners and therefore is used in several applications. However, for points in d-dimensional Euclidean space, the g...
ICMT
2009
Springer
14 years 11 days ago
2009
Springer
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...