875 search results - page 109 / 175 » A New Approach for Testing Properties of Discrete Distributi... |
153
click to vote
MSV
2004
15 years 7 months ago
2004
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
148
click to vote
SIGPRO
2010
15 years 26 days ago
2010
In this paper, we address the problem of determining the order of MISO channels by means of a series of hypothesis tests based on scalar statistics. Using estimated 4th-order outp...
215
Voted
ISCA
2011
IEEE
14 years 9 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
208
Voted
ICDCSW
2009
IEEE
16 years 24 days ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
143
Voted
AIPS
2008
15 years 8 months ago
2008
High dimensionality of belief space in DEC-POMDPs is one of the major causes that makes the optimal joint policy computation intractable. The belief state for a given agent is a p...