1288 search results - page 84 / 258 » Visual Generalization in Programming by Example |
113
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
SIAMJO
2008
15 years 2 months ago
2008
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
133
Voted
AIR
2004
15 years 2 months ago
2004
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
104
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
110
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...