2989 search results - page 457 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
IJCAI
2007
14 years 11 months ago
2007
This paper addresses the problem of concept sampling. In many real-world applications, a large collection of mixed concepts is available for decision making. However, the collecti...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
HVEI
2009
14 years 7 months ago
2009
The classical approach to converting colour to greyscale is to code the luminance signal as a grey value image. However, the problem with this approach is that the detail at equil...
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a new implication of Wu’s (1997) Inversion Transduction Grammar (ITG) Hypothesis, on the problem of retrieving truly parallel sentence translations from larg...