3238 search results - page 526 / 648 » On the Computational Interpretation of Negation |
162
click to vote
IEEEARES
2007
IEEE
16 years 20 days ago
2007
IEEE
Electronic markets, distributed peer-to-peer applications and other forms of online collaboration are all based on mutual trust, which enables transacting peers to overcome the un...
160
click to vote
IROS
2007
IEEE
16 years 20 days ago
2007
IEEE
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
167
click to vote
ISBI
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
157
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
159
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...