2181 search results - page 100 / 437 » The restriction scaffold problem |
RTSS
1994
IEEE
14 years 2 months ago
1994
IEEE
The problem of uniprocessor scheduling under conditions of overload is investigated. The system objective is to maximzze the number of tasks that complete by their deadlines. For ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
Linear matrix Inequalities (LMIs) have had a major impact on control but formulating a problem as an LMI is an art. Recently there is the beginnings of a theory of which problems ...
AMW
2010
13 years 11 months ago
2010
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination in RDF in the presence of rules (in the form of Datalog rules) a...
RSS
2007
13 years 11 months ago
2007
— This paper considers the problem of controlling a group of agents under the constraint that every agent must be given the same control input. This problem is relevant for the c...