2550 search results - page 303 / 510 » Difference Decision Diagrams |
178
click to vote
IWDC
2004
Springer
15 years 12 months ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
152
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
170
click to vote
POLICY
2004
Springer
15 years 12 months ago
2004
Springer
We present a policy-based approach to managing congestions in Short Message Service (SMS) systems. Congestion situations typically occur on SMS Gateways (SMSGs), which route SMS m...
168
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
190
click to vote
SETN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Single classifiers, such as Neural Networks, Support Vector Machines, Decision Trees and other, can be used to perform classification of data for relatively simple proble...