3713 search results - page 405 / 743 » Constructing a Calculus of Programs |
118
Voted
DSL
1997
15 years 6 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
123
click to vote
ICSQP
1994
15 years 6 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
104
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We reprove that the approximate degree of the OR function on n bits is ( n). We consider a linear program which is feasible if and only if there is an approximate polynomial for ...
137
click to vote
INFORMS
2006
15 years 4 months ago
2006
This paper intends to show that the time needed to solve mixed integer programming problems by branch and bound can be roughly predicted early in the solution process. We construc...
115
click to vote
LRE
2008
15 years 4 months ago
2008
As part of a project to construct an interactive program which would encourage children to play with language by building jokes, we developed a lexical database, starting from Word...