1359 search results - page 39 / 272 » Probabilistic Points-to Analysis |
EDBT
2012
ACM
11 years 11 months ago
2012
ACM
Record linkage analysis, which matches records referring to the same real world entities from different data sets, is an important task in data integration. Uncertainty often exi...
FMCAD
2004
Springer
14 years 6 days ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
APSEC
2007
IEEE
13 years 10 months ago
2007
IEEE
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
ALENEX
2001
13 years 10 months ago
2001
Range searches in metric spaces can be very di cult if the space is \high dimensional", i.e. when the histogram of distances has a large mean and a small variance. The so-cal...
CVPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Most tracking algorithms implicitly apply a coarse segmentation of each target object using a simple mask such as a rectangle or an ellipse. Although convenient, such coarse segme...