166 search results - page 8 / 34 » Mathematical programming approaches for generating p-efficie... |
SIAMJO
2002
14 years 10 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...
113
Voted
DAC
2005
ACM
15 years 12 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
111
click to vote
GIS
2007
ACM
14 years 11 months ago
2007
ACM
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...