3591 search results - page 600 / 719 » Typing linear constraints |
165
click to vote
SAT
2009
Springer
15 years 12 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
180
click to vote
AFRICACRYPT
2010
Springer
15 years 12 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
160
Voted
HOST
2008
IEEE
15 years 11 months ago
2008
IEEE
—A number of applications depend on the protection of security-sensitive hardware, preventing unauthorized users from gaining access to the functionality of the integrated circui...
153
Voted
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
We develop strategy/false-name-proof multi-unit auction protocols for non-quasi-linear utilities. One almost universal assumption in auction theory literature is that each bidder ...
158
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent work in the emerging field of compressive sensing indicates that, when feasible, judicious selection of the type of distortion induced by measurement systems may dramatica...