3552 search results - page 527 / 711 » Proof theory in the abstract |
179
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Recent results establish the optimality of interference alignment to approach the Shannon capacity of interference networks at high SNR. However, the extent to which in...
133
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Urban simulation systems can be a powerful tool for helping to understand the complex, long-term consequences of urban planning decisions. Simulation results are summarized and re...
168
click to vote
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Acquisition and representation of semantic concepts is a necessary requirement for the understanding of natural languages by cognitive systems. Word games provide an int...
176
click to vote
SECURWARE
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
164
click to vote
FOCI
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— This paper presents a new development of selforganizing maps (SOM), realized by combining them with the idea of a modular network. This we called a modular network SOM ...