3991 search results - page 555 / 799 » Bounding homogeneous models |
123
click to vote
JFP
2006
15 years 4 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
132
Voted
MP
2008
15 years 4 months ago
2008
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
125
Voted
EOR
2007
15 years 4 months ago
2007
: New semiconductor wafer fabrication facilities use Front Opening Unified Pods (FOUPs) as a common unit of wafer transfer. Since the number of pods is limited due to high costs, a...
127
click to vote
MP
2006
15 years 4 months ago
2006
We address a class of problems where decisions have to be optimized over a time horizon given that the future is uncertain and that the optimization decisions influence the time o...
MSCS
2006
15 years 4 months ago
2006
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...