1511 search results - page 178 / 303 » Relational Parametricity for Computational Effects |
179
click to vote
COMPUTER
2000
15 years 6 months ago
2000
Processor and memory technology trends portend a continual increase in the relative cost of accessing main memory. Machine designers have tried to mitigate the effect of this tren...
141
click to vote
ENTCS
2002
15 years 6 months ago
2002
Solovay showed that there are noncomputable reals such that H( n) H(1n) + O(1), where H is prefix-free Kolmogorov complexity. Such H-trivial reals are interesting due to the conn...
220
click to vote
COMPUTER
1999
15 years 6 months ago
1999
Innovation in the small business can be conceived of as a management process and challenge. This process, when mapped, offers a framework that can be used to encourage and enhance...
175
click to vote
ACL
2010
15 years 4 months ago
2010
This paper proposes a convolution forest kernel to effectively explore rich structured features embedded in a packed parse forest. As opposed to the convolution tree kernel, the p...
177
click to vote
BTW
2005
Springer
15 years 8 months ago
2005
Springer
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...