810 search results - page 128 / 162 » Continuous cartogram construction |
ENTCS
2006
14 years 11 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
FUIN
2006
14 years 11 months ago
2006
Abstract. Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisi...
110
click to vote
IJAR
2006
14 years 11 months ago
2006
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for solving hybrid Bayesian networks. Any probability density function can be approximated...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
: Cross-match spatially clusters and organizes several astronomical point-source measurements from one or more surveys. Ideally, each object would be found in each survey. Unfortun...
109
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The SkyServer is an Internet portal to the Sloan Digital Sky Survey Catalog Archive Server. From 2001 to 2006, there were a million visitors in 3 million sessions generating 170 mi...