13383 search results - page 2276 / 2677 » Abstractions from proofs |
172
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...
194
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Classical list scheduling is a very popular and efficient technique for scheduling jobs in parallel platforms. However, with the increasing number of processors, the cost...
172
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Occluding contour (OC) plays important roles in many computer vision tasks. The study of using OC for visual inference tasks is however limited, partially due to the lack...
170
click to vote
JSSPP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we address job scheduling in Distributed Computing Infrastructures, that is a loosely coupled network of autonomous acting High Performance Computing syste...
169
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...