6274 search results - page 307 / 1255 » Proofs, Programs, Processes |
200
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In the independent component analysis, polynomial functions of higher order statistics are often used as cost functions. However, such cost functions usually have many local minim...
153
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Multiclass classification problems are often decomposed into multiple binary problems that are solved by individual binary classifiers whose results are integrated into a final...
150
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider a wireless network comprising a number of mutuallyinterfering links. We study the transmit power control problem that determines the egalitarian signal-to-interference...
158
click to vote
DC
2008
15 years 6 months ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
159
click to vote
JAR
2008
15 years 6 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...