620 search results - page 84 / 124 » About the logical relations between cases and rules |
212
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
105
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
115
click to vote
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
AIIA
2007
Springer
15 years 1 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The most natural way of thinking about negotiation is probably a situation whereby each of the parties involved initially make a proposal that is particularly beneficial to themse...