2432 search results - page 361 / 487 » Cryptographic logical relations |
154
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
153
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
203
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
156
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...
138
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...