1670 search results - page 18 / 334 » Fast Computation of Data Correlation Using BDDs |
DAC
2010
ACM
14 years 10 days ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
In this paper we present a simple but effective method for matching two uncalibrated images. Feature points are firstly extracted in each image using a fast multiscale corner det...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
Image annotation has been an active research topic in the recent years due to its potentially large impact on both image understanding and web/database image search. In this paper...
BROADNETS
2007
IEEE
14 years 2 months ago
2007
IEEE
Fast convergence to topology changes is a key requirement in modern routing infrastructure while reducing the protocol CPU overhead continues to be as important as before. In this...