1795 search results - page 306 / 359 » On the Complexity of Circuit Satisfiability |
FOCM
2010
14 years 10 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
TMC
2010
14 years 10 months ago
2010
—In this paper, we analyze the achievable capacity of the secondary service for overlay and underlay access strategies. We then propose a novel mixed access strategy in which in ...
139
click to vote
TRUSTBUS
2010
Springer
14 years 10 months ago
2010
Springer
: Context-Aware Privacy Design Pattern Selection Siani Pearson, Yun Shen HP Laboratories HPL-2010-74 Privacy, Design Patterns, Context Awareness User-related contextual factors...
112
click to vote
WCNC
2010
IEEE
14 years 10 months ago
2010
IEEE
—With the ever increasing interest in multiple-input multiple-output (MIMO) cognitive radio (CR) systems, reducing the costs associated with RF-chains at the radio front end beco...
142
click to vote
APSCC
2010
IEEE
14 years 10 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...