3552 search results - page 616 / 711 » Proof theory in the abstract |
200
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
182
click to vote
GLOBECOM
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...
161
click to vote
ICC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— Joint eigenvalue distribution of the noncentral complex Wishart matrix, i.e. HH∗ where H is the nonzero-mean complex Gaussian random channel matrix of a multiple-inpu...
153
click to vote
PIMRC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—In multi-user multiple-input multiple-output (MUMIMO) systems, spatial multiplexing can be employed to increase the throughput without the need for multiple antennas and...
158
click to vote
RTSS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...