3053 search results - page 240 / 611 » A Logic of Abstract Argumentation |
116
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
141
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...
147
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
215
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
133
click to vote
CRYPTO
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...