497 search results - page 22 / 100 » On combinations of local theory extensions |
137
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
113
click to vote
EUROPAR
1998
Springer
15 years 6 months ago
1998
Springer
This paper aims to improve locality of references by suitably choosing array layouts. We use a new definition of spatial reuse vectors that takes into account memory layout of arra...
124
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—The problem of minimum cost in-network fusion of measurements, collected from distributed sensors via multihop routing is considered. A designated fusion center performs an opti...
144
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
A novel local image descriptor is proposed in this paper, which combines intensity orders and gradient distributions in multiple support regions. The novelty lies in three aspects...
104
Voted
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...