4155 search results - page 100 / 831 » Topic-Specific Optimization and Structuring |
132
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper provides an empirical test of a hypothesis, which describes the effects of structural mechanisms in genetic programming. In doing so, the paper offers a test p...
194
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Acceleration structures used for ray tracing have been designed and optimized for efficient traversal of static scenes. As it becomes feasible to do interactive ray tracing of movi...
148
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We study the multi-frame structure from motion problem when the camera translates on a plane with small baselines and arbitrary rotations. This case shows up in many practical appl...
164
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
158
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...