9521 search results - page 181 / 1905 » Compiling with continuations, continued |
142
click to vote
JMIV
2007
15 years 3 months ago
2007
A variational approach to image or video segmentation consists in defining an energy depending on local or global image characteristics, the minimum of which being reached for ob...
109
click to vote
CCE
2004
15 years 3 months ago
2004
The problem addressed in this work is to develop a comprehensive mathematical programming model for the efficient scheduling of oil-refinery operations. Our approach is first to d...
118
click to vote
CI
2007
15 years 3 months ago
2007
This paper studies the properties of the continuous double auction trading mechanishm using an artificial market populated by heterogeneous computational agents. In particular, we...
ENTCS
2000
15 years 3 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
103
click to vote
SPEECH
2002
15 years 2 months ago
2002
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...