7121 search results - page 1178 / 1425 » Functions as Session-Typed Processes |
121
click to vote
SIAMAM
2008
15 years 4 months ago
2008
Abstract. We develop a partial equilibrium model to investigate the problem of optimal liquidation over a finite or infinite time horizon for an investor with large holdings in a r...
143
click to vote
PRL
2006
15 years 4 months ago
2006
Approaches analyzing local characteristics of an image prevail in image restoration. However, they are less effective in cases of restoring images degraded by large size point spr...
124
click to vote
PRL
2006
15 years 4 months ago
2006
In this paper a heuristic segmentation algorithm is presented based on the oversegmentation of an image. The method uses a set of different segmentations of the image produced pre...
139
click to vote
PUC
2006
15 years 4 months ago
2006
This paper describes a taxonomy for a ubiquitous computing software stack called UbiqStack. Through the lens of the UbiqStack taxonomy we survey a variety of subsystems designed to...
131
click to vote
SIAMSC
2008
15 years 4 months ago
2008
Abstract. Many vector-valued functions, representing expensive computations, are also structured computations. In this case the calculation of the Newton step can be greatly accele...