2989 search results - page 457 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
105
click to vote
EMSOFT
2006
Springer
15 years 6 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...
113
click to vote
IJCAI
2007
15 years 3 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...
110
click to vote
ECAI
2010
Springer
15 years 3 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...
112
click to vote
HVEI
2009
15 years 5 days 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...
129
click to vote
IJCNLP
2005
Springer
15 years 8 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...