Sciweavers

3713 search results - page 405 / 743
» Constructing a Calculus of Programs
Sort
View
118
Voted
DSL
1997
15 years 6 months ago
Service Combinators for Web Computing
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 ...
Luca Cardelli, Rowan Davies
ICSQP
1994
15 years 6 months ago
Using Strongest Postconditions to Improve Software Quality
: 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...
Si Pan, R. Geoff Dromey
CORR
2008
Springer
80views Education» more  CORR 2008»
15 years 4 months ago
A Dual Polynomial for OR
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 ...
Robert Spalek
INFORMS
2006
87views more  INFORMS 2006»
15 years 4 months ago
Early Estimates of the Size of Branch-and-Bound Trees
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...
Gérard Cornuéjols, Miroslav Karamano...
LRE
2008
62views more  LRE 2008»
15 years 4 months ago
Adding phonetic similarity data to a lexical database
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...
Ruli Manurung, Graeme Ritchie, Helen Pain, Annalu ...