3446 search results - page 164 / 690 » A Reasoning Algorithm for pD* |
167
click to vote
CANDC
2011
ACM
14 years 4 months ago
2011
ACM
Science-fiction and fantasy stories often contain objects never envisioned previously. Inventing gadgets like lightsabers or mythical creatures like griffins is a creative task. T...
148
Voted
IACR
2011
14 years 3 months ago
2011
The KeeLoq cipher is used in many wireless car door systems and garage openers. Recently the algorithm was studied and several attacks have been published. When a random seed is no...
168
click to vote
SODA
2012
ACM
13 years 6 months ago
2012
ACM
Statistical data frequently includes outliers; these can distort the results of estimation procedures and optimization problems. For this reason, loss functions which deemphasize ...
138
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
130
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...