4949 search results - page 170 / 990 » Consistency and Set Intersection |
146
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
130
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...
125
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
124
Voted
VRST
1997
ACM
15 years 9 months ago
1997
ACM
This paper describes a new algorithm for view volume culling. During an interactive walkthrough of a 3D scene, at any moment a large proportion of objects will be outside of the v...
126
click to vote
ACSC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an unsupervised blood cell segmentation algorithm for images taken from peripheral blood smear slides. Unlike prior algorithms the method is fast; fully automated; find...