3994 search results - page 727 / 799 » A Linear Logical Framework |
100
click to vote
KDD
1999
ACM
15 years 4 months ago
1999
ACM
—Association rules are useful for determining correlations between attributes of a relation and have applications in the marketing, financial, and retail sectors. Furthermore, op...
CVPR
1997
IEEE
15 years 4 months ago
1997
IEEE
Multiple images of a scene are related through 20/3D view transformations and linear and non-linear camera transformations. In all the traditional techniques to compute these tran...
SIGGRAPH
1993
ACM
15 years 4 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...
131
click to vote
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
100
click to vote
CPAIOR
2006
Springer
15 years 3 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...