9842 search results - page 1298 / 1969 » The Complexity of the Matching-Cut Problem |
192
click to vote
CSCLP
2003
Springer
16 years 20 days ago
2003
Springer
This paper considers the issue of postprocessing the output of interval-based solvers for further exploitations when solving numerical CSPs with continuum of solutions. Most interv...
196
click to vote
ECAL
2003
Springer
16 years 20 days ago
2003
Springer
In this paper, we study aggregation in a swarm of simple robots, called s-bots, having the capability to self-organize and selfassemble to form a robotic system, called a swarm-bot...
180
click to vote
HUMAN
2003
Springer
16 years 19 days ago
2003
Springer
Perfect protection against all system threats is considered to be impossible. The problem of monitoring against the threats has been an issue in literature, but its progress has no...
199
click to vote
ICSE
2003
IEEE-ACM
16 years 19 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
176
click to vote
ISHPC
2003
Springer
16 years 19 days ago
2003
Springer
Instruction issue consumes a large amount of energy in out of order processors, largely in the wakeup logic. Proposed solutions to the problem require prediction or additional hard...