461 search results - page 56 / 93 » Splitting NP-Complete Sets |
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
ACSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
This paper examines agent-based systems designed for a variety of human learning tasks. These are typically split into two areas: "training", which generally refers to a...
CCS
2006
ACM
14 years 2 months ago
2006
ACM
Key establishment is a fundamental prerequisite for secure communication in wireless sensor networks. A new node joining the network needs to efficiently and autonomously set up s...
ICDAR
1995
IEEE
14 years 2 months ago
1995
IEEE
We describe a new approach for evaluating page segmentation algorithms. Unlike techniques that rely on OCR output, our method is region-based: the segmentation output, described a...