8094 search results - page 1491 / 1619 » Improvements in Formula Generalization |
130
Voted
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
117
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
121
click to vote
STOC
2000
ACM
15 years 5 months ago
2000
ACM
Multiple sequence alignment is a fundamental problem in computational biology. Because of its notorious difficulties, aligning sequences within a constant band (c-diagonal) is a ...
102
Voted
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Social support is a critical, yet underutilized resource when undergoing cancer care. Underutilization occurs in two conditions: (a) when patients fail to seek out information, ma...
107
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
There has been increasing interest in automatic techniques for generating roles for role based access control, a process known as role mining. Most role mining approaches assume t...