4192 search results - page 271 / 839 » Efficient testing of groups |
217
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
169
click to vote
TIT
2002
15 years 6 months ago
2002
This paper considers noncoherent communication over a frequency-nonselective channel in which the time-varying channel gain is unknown a priori, but is approximately constant over ...
179
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
219
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Recently, we proposed marginal space learning (MSL) as
a generic approach for automatic detection of 3D anatom-
ical structures in many medical imaging modalities. To
accurately...
173
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Viola and Jones (VJ) cascade classification methods have proven to be very successful in detecting objects belonging to a single class -- e.g., faces. This paper addresses the mor...