308 search results - page 5 / 62 » Computational Types from a Logical Perspective |
143
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
127
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
This paper aims to contribute with an understanding of meaningful experiences of photography, to support reflection upon the design of future camera devices. We have conducted a s...
115
click to vote
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Inter-wire coupling is a major source of power consumption and delay faults for on-chip buses implemented in UDSM SoC Systems. Elimination or minimization of such faults is crucia...
197
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
108
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...