12774 search results - page 143 / 2555 » A Framework for Proof Systems |
181
click to vote
JFPLC
2004
15 years 5 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
146
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
Although tagging has become increasingly popular in online image and video sharing systems, tags are known to be noisy, ambiguous, incomplete and subjective. These factors can ser...
147
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
178
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
133
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...