116 search results - page 19 / 24 » Reasoning Symbolically About Partially Matched Cases |
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Receive antenna selection (AS) reduces the hardware complexity of multi-antenna receivers by dynamically connecting an instantaneously best antenna element to the available radio ...
AAAI
2011
12 years 9 months ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
STOC
2009
ACM
14 years 10 months ago
2009
ACM
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
ACSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...