3068 search results - page 69 / 614 » Separation Results on the |
MST
2008
14 years 12 months ago
2008
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rel...
83
Voted
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Many recent works that study the impact of spatial correlation on the performance of multi-input multi-output (MIMO) systems assume a separable (also known as the Kronecker) model...
199
click to vote
POPL
2007
ACM
16 years 6 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
CCE
2004
14 years 11 months ago
2004
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...