2343 search results - page 282 / 469 » Structure and Interpretation of Computer Programs |
160
click to vote
CPAIOR
2006
Springer
15 years 10 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...
185
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
190
click to vote
WCET
2010
15 years 4 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
172
click to vote
ENTCS
2000
15 years 6 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
169
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper describes a structure from motion and recognition paradigm for generating 3D models from 2D sets of images. In particular we consider the domain of architectural photog...