3335 search results - page 77 / 667 » A Unified Approach to Modeling and Programming |
165
click to vote
IOR
2006
15 years 6 months ago
2006
We consider the problem of radiation therapy treatment planning for cancer patients. During radiation therapy, beams of radiation pass through a patient, killing both cancerous an...
154
click to vote
LPNMR
1997
Springer
15 years 10 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
147
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
175
click to vote
WSC
1997
15 years 7 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
164
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...