1220 search results - page 50 / 244 » Minimal Interval Completions |
IMAGING
2000
13 years 10 months ago
2000
A spectral-based six-color printer model was derived in determining the six color separations for an input spectral image that yields the least metameric reproduction relative to ...
FS
2006
13 years 9 months ago
2006
We study the problem of finding optimal strategies for a life insurance company or pension fund that acts on behalf of an insured so as to maximize the expected utility (in a gene...
INFORMATICALT
2006
13 years 9 months ago
2006
We study single machine scheduling problems, where processing times of the jobs are exponential functions of their start times. For increasing functions, we prove strong NP-hardnes...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
AI
2008
Springer
13 years 9 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...