697 search results - page 114 / 140 » Decomposition Structures for Event-B |
194
Voted
WADS
2005
Springer
16 years 9 days ago
2005
Springer
Spatial databases support a variety of geometric queries on point data such as range searches, nearest neighbor searches, etc. Balanced Aspect Ratio (BAR) trees are hierarchical sp...
181
Voted
COMPGEOM
2004
ACM
16 years 8 days ago
2004
ACM
For a set S of points in Rd, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidea...
163
click to vote
NPAR
2004
ACM
16 years 8 days ago
2004
ACM
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
164
Voted
INFOVIS
2003
IEEE
16 years 3 days ago
2003
IEEE
We present a novel family of data-driven linear transformations, aimed at visualizing multivariate data in a low-dimensional space in a way that optimally preserves the structure ...
179
Voted
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...