7215 search results - page 1252 / 1443 » On the Consistency of Ranking Algorithms |
154
click to vote
NRHM
2008
15 years 6 months ago
2008
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
165
click to vote
MP
2006
15 years 6 months ago
2006
Abstract. We consider the network design problem which consists in determining at minimum cost a 2-edge connected network such that the shortest cycle (a "ring") to which...
160
click to vote
GC
2007
Springer
15 years 6 months ago
2007
Springer
The pre-coloring extension problem consists, given a graph G and a set of nodes to which some colors are already assigned, in finding a coloring of G with the minimum number of co...
148
click to vote
PAMI
2008
2008
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
15 years 6 months ago
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
163
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...