Network snakes constitute one of the latest advances in the research of image segmentation techniques: they integrate topology into active contour models. This concept is applied t...
Abstract. We present results about minimization of convex functionals defined over a finite set of vectors in a finite dimensional Hilbert space, that extend several known results ...
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
We studied a supplier selection problem, where a buyer, while facing random demand, is to decide ordering quantities from a set of suppliers with different yields and prices.We pr...