672 search results - page 32 / 135 » Property-aware program sampling |
131
Voted
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we propose a novel linear programming based method to estimate arbitrary motion from two images. The proposed method always finds the global optimal solution of the...
112
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
146
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
EUROGP
2008
Springer
15 years 3 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
106
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...