5580 search results - page 887 / 1116 » Randomized priority algorithms |
126
click to vote
SPIN
2010
Springer
15 years 23 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
156
click to vote
TCOS
2010
15 years 23 days ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
128
click to vote
TMC
2010
15 years 22 days ago
2010
—To make a network last beyond the lifetime of an individual sensor, redundant sensors must be deployed. What sleep-wakeup schedule can then be used for individual sensors so tha...
115
click to vote
BMVC
2010
15 years 12 days ago
2010
With the proliferation of modern microscopy imaging technologies the amount of data that has to be analysed by biologists is constantly increasing and as a result the development ...
132
click to vote
BMVC
2010
15 years 12 days ago
2010
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...