9842 search results - page 1354 / 1969 » The Complexity of the Matching-Cut Problem |
188
click to vote
EMSOFT
2004
Springer
16 years 19 days ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
191
click to vote
ICALP
2004
Springer
16 years 18 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
207
click to vote
IFIP
2004
Springer
16 years 18 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
182
click to vote
LPNMR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
159
click to vote
ENC
2003
IEEE
16 years 16 days ago
2003
IEEE
Several lossless data compression schemes have been proposed over the past years. Since Shannon developed information theory in his seminal paper, however, the problem of data com...