430 search results - page 73 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Network Intrusion Detection Systems (NIDS) monitor a network with the aim of discerning malicious from benign activity on that network. While a wide range of approaches h...
STTT
2008
14 years 10 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
155
click to vote
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
A classical problem of imaging--the matting problem--is separation of a non-rectangular foreground image from a (usually) rectangular background image--for example, in a film fram...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...