6020 search results - page 1182 / 1204 » A New Approach to Model Counting |
128
Voted
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
This work evaluates a few search strategies for Arabic monolingual and cross-lingual retrieval, using the TREC Arabic corpus as the test-bed. The release by NIST in 2001 of an Ara...
144
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The common utilization-based definition of available bandwidth and many of the existing tools to estimate it suffer from several important weaknesses: i) most tools report a point...
137
click to vote
EDBT
2010
ACM
15 years 13 days ago
2010
ACM
Private matching between datasets owned by distinct parties is a challenging problem with several applications. Private matching allows two parties to identify the records that ar...
143
Voted
PVLDB
2010
15 years 8 days ago
2010
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
148
click to vote
GAMESEC
2010
14 years 12 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...