2150 search results - page 89 / 430 » On a restricted cross-intersection problem |
113
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
136
click to vote
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
Standard tabu search methods are based on the complete exploration of current solution neighborhood. However, for some problems with very large neighborhood or time-consuming eval...
138
click to vote
RTSS
1994
IEEE
15 years 8 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 ...
130
click to vote
ECAI
2004
Springer
15 years 8 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...
185
click to vote
CDC
2008
IEEE
15 years 6 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 ...