6020 search results - page 248 / 1204 » A New Approach to Model Counting |
139
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
135
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...
133
click to vote
BMVC
2001
15 years 7 months ago
2001
Combining different and complementary object models promises to increase the robustness and generality of today’s computer vision algorithms. This paper introduces a new method ...
136
click to vote
ACSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
121
click to vote
TSMC
2002
15 years 4 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...