4217 search results - page 50 / 844 » Computational indistinguishability logic |
265
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This contribution presents Soft Computing Robot Navigation for mobile robot SCORCAS, a Case Study. The Navigation uses fuzzy logic experienced on mobile robot systems. Fuzzy logic...
158
click to vote
AAAI
1998
15 years 8 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
165
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
160
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We construct a stream-cipher SC whose implementation is secure even if a bounded amount of arbitrary (adaptively, adversarially chosen) information about the internal state of SC ...
193
click to vote
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...