1415 search results - page 169 / 283 » Verified systems by composition from verified components |
159
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— We characterize the statistical properties of the mutual information between the transmitter and the receiver of a multiple-input multiple-output (MIMO) communication system in...
155
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
142
click to vote
ISI
2007
Springer
16 years 14 days ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...
203
click to vote
AHS
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper presents an efficient hardware architecture for real-time implementation of adaptive deblocking filter algorithm used in H.264 video coding standard. This hardware is d...
165
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...