6770 search results - page 501 / 1354 » How GPUs Work |
150
click to vote
KR
1989
Springer
15 years 10 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
148
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
We study vindictive bidding, a strategic bidding behavior in keyword auctions where a bidder forces his competitor to pay more without affecting his own payment. We show that most...
158
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
177
click to vote
BIBM
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe an algorithm for finding approximate seeds for DNA homology searches. In contrast to previous algorithms that use exact or spaced seeds, our approximate seeds may conta...
137
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...