3228 search results - page 141 / 646 » Computationally Sound Proofs |
113
click to vote
IMAGING
2004
15 years 4 months ago
2004
A display tool has been developed to perform simulation and three-dimensional rendering of prints in the quest towards achieving improved soft proofing capabilities. It was desire...
120
click to vote
ASM
2010
ASM
16 years 7 days ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
119
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
104
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
117
click to vote
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
RFID (Radio-Frequency Identification) tags are small, inexpensive microchips capable of transmitting unique identifiers wirelessly over a short distance. Thanks to their utility i...