4903 search results - page 163 / 981 » The Set Covering Machine |
DFG
2009
Springer
14 years 4 months ago
2009
Springer
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
CIG
2005
IEEE
14 years 3 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...
MLMI
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
FCCM
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...