3994 search results - page 61 / 799 » A Linear Logical Framework |
168
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
120
click to vote
LICS
1987
IEEE
15 years 9 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
155
click to vote
ICPPW
2008
IEEE
15 years 12 months ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
172
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
164
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...