3228 search results - page 141 / 646 » Computationally Sound Proofs |
IMAGING
2004
13 years 11 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...
ASM
2010
ASM
14 years 7 months 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...
LICS
2008
IEEE
14 years 4 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...
LICS
2007
IEEE
14 years 4 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...
PERCOM
2004
ACM
14 years 9 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...