2586 search results - page 337 / 518 » Automatic Abstraction for Congruences |
164
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
207
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—We present a method for modeling, and automatically inferring, the current interest of a user in search advertising. Our task is complementary to that of predicting ad r...
163
click to vote
WSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. SOMs have proven to be a very powerful tool for data analysis. However, comparing multiple SOMs trained on the same data set using different parameters or initialisation...
196
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
166
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...