16626 search results - page 406 / 3326 » Computing is a natural science |
180
click to vote
CSL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
217
click to vote
WOLLIC
2009
Springer
16 years 2 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...
192
click to vote
CSCW
2004
ACM
16 years 1 months ago
2004
ACM
This paper explores the embodied interactional ways in which people naturally collaborate around and share collections of photographs. We employ ethnographic studies of paper-base...
246
click to vote
CEC
2011
IEEE
14 years 7 months ago
2011
IEEE
—Stochastic relaxation aims at finding the minimum of a fitness function by identifying a proper sequence of distributions, in a given model, that minimize the expected value o...