2636 search results - page 229 / 528 » Linear Programming |
87
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
115
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
134
Voted
AI
1999
Springer
15 years 2 months ago
1999
Springer
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
219
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
170
click to vote
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
Many unsupervised algorithms for nonlinear dimensionality reduction, such as locally linear embedding (LLE) and Laplacian eigenmaps, are derived from the spectral decompositions o...